Skip to content
@hermetique

Le Garage Hermétique

Forks for the fork-improverished! (Zero forks + account deleted = oh no, it's gone)

Popular repositories Loading

  1. zmakebas zmakebas Public

    Forked from utz82/zmakebas

    Mirror of ZMakeBas Sinclair BASIC converter by Russel Marks, Alistair Neil, and Derek Bolli

    C 2

  2. planckforth planckforth Public

    Forked from nineties/planckforth

    Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.

    Forth 1

  3. cc64 cc64 Public

    Forked from pzembrod/cc64

    cc64 is a small-C compiler written in Forth, hosted on the Commodore C64, Plus4 and C16 with 64k, and on the Commander X16. It is targeting the 6502 CPU.

    Forth 1

  4. orc orc Public

    Forked from orc-lang/orc

    Orc programming language implementation

    Scala 1

  5. r3vm r3vm Public

    Forked from phreda4/r3vm

    r3 virtual machine, succesor of :r4

    Forth 1

  6. hgit hgit Public

    Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions of some core problems in https://github.com/facebookexperime…

    Haskell 1 1

Repositories

Showing 10 of 906 repositories
  • rhokell Public Forked from pro465/rhokell

    rho calculus + haskell thrown into the mixer

    hermetique/rhokell’s past year of commit activity
    Rust 0 GPL-3.0 2 0 0 Updated Jun 27, 2024
  • termlisp Public Forked from abuseofnotation/termlisp

    A lisp dialect based on pattern matching and term rewriting

    hermetique/termlisp’s past year of commit activity
    JavaScript 0 MIT 3 0 0 Updated Apr 14, 2024
  • Carrot-ympbyc Public Forked from ympbyc/Carrot

    Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically determined multimethods.

    hermetique/Carrot-ympbyc’s past year of commit activity
    Scheme 0 5 0 0 Updated Jan 28, 2024
  • oriel Public Forked from wojciech-graj/oriel

    An interpreter for the 1991 Oriel scripting language

    hermetique/oriel’s past year of commit activity
    Rust 0 GPL-3.0 1 0 0 Updated Nov 19, 2023
  • Fountain-expts Public Forked from hornc/Fountain-expts

    Fountain CSL grammar experiments

    hermetique/Fountain-expts’s past year of commit activity
    0 1 0 0 Updated Oct 31, 2023
  • nnoq Public Forked from pro465/nnoq

    not noq

    hermetique/nnoq’s past year of commit activity
    Rust 0 GPL-3.0 1 0 0 Updated Oct 23, 2023
  • diamond-lang Public Forked from Kraks/diamond-lang

    A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.

    hermetique/diamond-lang’s past year of commit activity
    Scala 0 1 0 0 Updated Oct 21, 2023
  • bike Public Forked from 2bt/bike

    Bike game

    hermetique/bike’s past year of commit activity
    Rust 0 MIT 2 0 0 Updated Oct 2, 2023
  • grin Public Forked from matthew-brett/grin

    A grep program configured the way I like it.

    hermetique/grin’s past year of commit activity
    Python 0 16 0 0 Updated Aug 30, 2023
  • elfe Public Forked from maxdore/elfe

    Interactive Theorem Proving for students

    hermetique/elfe’s past year of commit activity
    Haskell 0 1 0 0 Updated Aug 26, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…