Pinned Repositories
bdwgc-issue-659-reproduce
butterunderflow.github.io
fun-for-fun
A functional programming language compiler made for fun.
GenSym
A high-performance, parallel, compilation-based symbolic execution engine
google-java-format
Reformats Java source code to comply with Google Java Style.
lambda_pe
An implementation of lambda calculus partial evaluation(for learning purpose). Here's related notes, https://butter-xz.com/articles/20231111153704-partial_evaluation_for_lambda_calculus/
ocaml
The core OCaml system: compilers, runtime system, base libraries
opam-repository
rescript-compiler
The compiler for ReScript.
rescript-lang.org
Official documentation website for the ReScript programming language
butterunderflow's Repositories
butterunderflow/fun-for-fun
A functional programming language compiler made for fun.
butterunderflow/butterunderflow.github.io
butterunderflow/bdwgc-issue-659-reproduce
butterunderflow/GenSym
A high-performance, parallel, compilation-based symbolic execution engine
butterunderflow/google-java-format
Reformats Java source code to comply with Google Java Style.
butterunderflow/lambda_pe
An implementation of lambda calculus partial evaluation(for learning purpose). Here's related notes, https://butter-xz.com/articles/20231111153704-partial_evaluation_for_lambda_calculus/
butterunderflow/ocaml
The core OCaml system: compilers, runtime system, base libraries
butterunderflow/opam-repository
butterunderflow/rescript-compiler
The compiler for ReScript.
butterunderflow/rescript-lang.org
Official documentation website for the ReScript programming language
butterunderflow/syntax
ReScript's syntax as a standalone repo.
butterunderflow/specfx
WebAssembly specification, reference interpreter, and test suite.