Skip to content
Change the repository type filter

All

    Repositories list

    • Provides support for the SpecAlt (formerly JavaScript Propositional Laboratory Format, JSPL), a format developed for Ecma-/JS-Developers, to be used for discuss…
      TypeScript
      MIT License
      0200Updated Apr 1, 2026Apr 1, 2026
    • HTML
      0001Updated Mar 26, 2026Mar 26, 2026
    • Formalisation of parts of the TC39 Temporal proposal in Rocq.
      Rocq Prover
      BSD 3-Clause "New" or "Revised" License
      1500Updated Mar 24, 2026Mar 24, 2026
    • A tree-sitter grammar for the Magnolia programming language
      JavaScript
      0100Updated Mar 7, 2026Mar 7, 2026
    • R
      0000Updated May 10, 2025May 10, 2025
    • jspl

      Public
      TypeScript
      MIT License
      1201Updated May 5, 2025May 5, 2025
    • TypeScript
      MIT License
      1100Updated Apr 28, 2025Apr 28, 2025
    • HTML
      1100Updated Apr 3, 2025Apr 3, 2025
    • Java
      MIT License
      0300Updated Feb 15, 2025Feb 15, 2025
    • events

      Public
      0000Updated Nov 5, 2024Nov 5, 2024
    • TypeScript
      0500Updated Sep 29, 2024Sep 29, 2024
    • jstql

      Public
      0000Updated Jun 26, 2024Jun 26, 2024
    • Standard and Specification Documents for a Selection of General-Purpose Programming Languages. @mikbar-uib
      0000Updated Jun 24, 2024Jun 24, 2024
    • Draft of the TypeScript Process Document. Authors: Asbjørn Olav Orvedal (@asborv) and Mikhail Barash (@mikbar-uib) - University of Bergen, Norway.
      HTML
      0100Updated May 15, 2024May 15, 2024
    • magnolisp

      Public
      Magnolisp, a toy programming language
      Racket
      21900Updated Dec 9, 2023Dec 9, 2023
    • Making a "guide" on how to implement GroupBy in Spidermonkey following TC39 spec
      JavaScript
      GNU General Public License v3.0
      11700Updated Sep 6, 2023Sep 6, 2023
    • Racket Dictionary Generator
      Racket
      Other
      0100Updated Mar 23, 2018Mar 23, 2018
    • erda

      Public
      Erda, a family of small programming languages
      Racket
      0000Updated Oct 17, 2016Oct 17, 2016
    • astdb

      Public
      Experimental abstract syntax tree database
      Java
      Other
      0000Updated Feb 8, 2016Feb 8, 2016
    • 101games

      Public
      Java framework for board games
      Java
      0000Updated Mar 9, 2015Mar 9, 2015
    • Pretty Good Formatter in Racket
      0000Updated Aug 30, 2013Aug 30, 2013
    • Any Exporter
      C
      Other
      0100Updated Aug 21, 2013Aug 21, 2013
    • Emacs Mode for Rascal
      Emacs Lisp
      0100Updated Sep 18, 2012Sep 18, 2012
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.