The Wayback Machine - https://web.archive.org/web/20220411200557/https://github.com/exists-forall
Skip to content
Avatar
๐Ÿš€
Compiling
๐Ÿš€
Compiling
  • San Francisco Bay Area

Achievements

Achievements

Highlights

  • Pro

Organizations

@elm-reader @morphic-lang
Block or Report

Block or report exists-forall

Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. nickel Public

    A safe and efficient target language for functional compilers

    Rust 15 2

  2. A UC Berkeley research project to generate 3D-printed models of topological knots

    Rust 3

  3. Simple trait-based pretty-printing in Rust

    Rust 1

  4. Composable and extensible incremental computation in Rust

    Rust 1

  5. A small and simple Haskell library for automatically ordering dependencies at runtime. Great for handling forward references when writing compilers.

    Haskell 15

  6. A reimplementation of Elm's core Array module

    Elm 3

79 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri

Contribution activity

April 2022

3 contributions in private repositories Apr 2