Pinned Repositories
butterunderflow.github.io
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/
opam-repository
rescript-compiler
The compiler for ReScript.
rescript-lang.org
Official documentation website for the ReScript programming language
syntax
ReScript's syntax as a standalone repo.
google-java-format
Reformats Java source code to comply with Google Java Style.
julia
The Julia Programming Language
rescript-compiler
The compiler for ReScript.
butterunderflow's Repositories
butterunderflow/butterunderflow.github.io
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/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.