GeezerVison is showing github.com — Bergen Language Design Laboratory
Popular repositories
Loading
Magnolisp, a toy programming language
Racket
19
2
Making a "guide" on how to implement GroupBy in Spidermonkey following TC39 spec
JavaScript
17
1
An IDE to navigate the JavaScript specification.
JetBrains MPS
16
1
Formalisation of parts of the TC39 Temporal proposal in Rocq.
Rocq Prover
6
1
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
C
Emacs Lisp
Haskell
HTML
Java
JavaScript
JetBrains MPS
R
Racket
Rocq Prover
TypeScript
XSLT
Sort
Showing 10 of 27 repositories
bldl/temporal-auto-mechanization's past year of commit activity
Haskell
2
0
0
0
Updated Jul 29, 2026
bldl/nav262-utils's past year of commit activity
XSLT
0
BSD-3-Clause
0
0
0
Updated Jul 23, 2026
nav262
Public
An IDE to navigate the JavaScript specification.
bldl/nav262's past year of commit activity
JetBrains MPS
16
BSD-3-Clause
1
0
0
Updated Jul 23, 2026
pldi2026-tutorial-ide
Public
Implementing an Integrated Development Environment: a Quick Start Guide for PL Researchers
bldl/pldi2026-tutorial-ide's past year of commit activity
JetBrains MPS
0
0
0
0
Updated Jun 24, 2026
temporal-rocq
Public
Formalisation of parts of the TC39 Temporal proposal in Rocq.
bldl/temporal-rocq's past year of commit activity
Rocq Prover
6
BSD-3-Clause
1
0
0
Updated Jun 16, 2026
specalt-web
Public
Provides support for the SpecAlt (formerly JavaScript Propositional Laboratory Format, JSPL), a format developed for Ecma-/JS-Developers, to be used for discussing contentious features of proposals.
bldl/specalt-web's past year of commit activity
TypeScript
2
MIT
0
0
0
Updated Apr 1, 2026
bldl/bldl.github.io's past year of commit activity
HTML
0
0
0
1
Updated Mar 26, 2026
bldl/tree-sitter-magnolia's past year of commit activity
JavaScript
1
0
0
0
Updated Mar 7, 2026
bldl/js-proposals's past year of commit activity
R
0
0
0
0
Updated May 10, 2025
bldl/jspl's past year of commit activity
TypeScript
2
MIT
1
0
1
Updated May 5, 2025
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.