Stars
Integrating ReScript and rescript-react into the official Vite React template
Evaluating the ability of machine learning models to make logical inferences
WebAssembly AOT compiler with cross-CPU checkpoint/restore support
Highlight your Monaco Editor with tree-sitter grammar.
FDH2 / UxPlay
Forked from antimof/UxPlayAirPlay Unix mirroring server
A JIT Compiler and Runtime for Java in Common Lisp
Demo for dependent types + runtime code generation
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
A template for writing papers using Ott (https://github.com/ott-lang/ott)
SKK input method plugin for fcitx5 that uses LibCSKK
A virtual machine for four variants of delimited-control operators. Supplementary material of my FSCD 2021 submission.
A minimalistic opinionated Mastodon web client
A mixture of tooling combined to produce JavaScript from OCaml & Reason
A proof assistant based on the internal language of topos with NNO (intuitionistic higher-order arithmetic)
Tracking instruction-tuned LLM openness. Paper: Liesenfeld, Andreas, Alianda Lopez, and Mark Dingemanse. 2023. “Opening up ChatGPT: Tracking Openness, Transparency, and Accountability in Instructio…
A mostly incomplete and unSATySFiing attemp at porting miniature subset of TikZ to SATySFi