Skip to content
View mthom's full-sized avatar

Sponsors

@aarroyoc
@dcnorris

Organizations

@haskell-lisp @Shen-Language

Block or report mthom

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. scryer-prolog scryer-prolog Public

    A modern Prolog implementation written mostly in Rust.

    Rust 2.1k 123

  2. prolog_parser prolog_parser Public

    An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.

    Rust 12 4

  3. on-the-fly-gc on-the-fly-gc Public

    Concurrent mark-sweep garbage collector for accurate garbage collection of language runtimes in C++ 1x.

    C++ 33 1

  4. shentong shentong Public

    A Haskell implementation of the Shen programming language.

    Haskell 162 9

  5. shentong-interpreter shentong-interpreter Public

    Haskell 3

  6. scryer-shen scryer-shen Public

    Racket 43 4