-
-
ungrammar-tools Public
Tools for ungrammar
-
rjsonnet Public
A language server for Jsonnet in Rust.
-
millet Public
A language server for Standard ML in Rust.
-
language-util Public
Various utility crates that might be useful when implementing a programming language.
-
advent-of-code Public
a yearly game of programming
-
-
-
-
mulligan Public
Forked from brandonspark/mulliganA stepping debugger for Standard ML (SML)
Standard ML MIT License UpdatedJul 12, 2023 -
sml-libs-scraper Public
Scraper for online SML libraries
-
rust-analyzer Public
Forked from rust-lang/rust-analyzerA Rust compiler front-end for IDEs
Rust Apache License 2.0 UpdatedMay 7, 2023 -
hatsugen Public
A small programming language formally defined with a series of blog posts and Lean code.
-
mltonlib Public
Forked from MLton/mltonlibThe MLtonLibrary repository
Standard ML UpdatedApr 3, 2023 -
-
vscode Public
Forked from microsoft/vscodeVisual Studio Code
TypeScript MIT License UpdatedFeb 27, 2023 -
unrecur Public
Transforming recursion into iteration.
-
lsp-mode Public
Forked from emacs-lsp/lsp-modeEmacs client/library for the Language Server Protocol
Emacs Lisp GNU General Public License v3.0 UpdatedJan 17, 2023 -
smlfmt Public
Forked from shwestrick/smlfmtA custom parser/auto-formatter for Standard ML
Standard ML MIT License UpdatedJan 16, 2023 -
-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedNov 17, 2022 -
c0ls Public
A language server for C0
-
-
try-axum Public
an investigation in actually deploying an actual app with rust on fly.io
Rust MIT License UpdatedApr 2, 2022 -
-
birb Public
A toy programming language with effects and contracts
-
-
-
try-rust Public
An attempt to learn Rust by following along in The Book.
-
coc Public
The calculus of constructions
{{ message }}