Pinned Repositories
faba
Fast Bytecode Analysis
henk
Pure Type Systems for Functional Programming
hosc
Higher-Order Supercompiler
lambdapi
Dependently Typed Lambda Calculus in Haskell
mrsc
A toolkit for building multi-result supercompilers
refal
sc-mini
SC Mini is a "minimal" positive supercompiler
tapl-scala
Code from the book "Types and Programming Languages" in Scala
ttlite
A SuperCompiler for Martin-Löf's Type Theory
eqwalizer
A type-checker for Erlang
ilya-klyuchnikov's Repositories
ilya-klyuchnikov/ttlite
A SuperCompiler for Martin-Löf's Type Theory
ilya-klyuchnikov/refal
ilya-klyuchnikov/tree-sitter-refal
ilya-klyuchnikov/AtomVM
Tiny Erlang VM
ilya-klyuchnikov/beamcode
A Rust library to encode / decode Erlang BEAM instructions
ilya-klyuchnikov/dgraph
Native GraphQL Database with graph backend
ilya-klyuchnikov/eep
Erlang Enhancement Proposals
ilya-klyuchnikov/elixir
Elixir is a dynamic, functional language designed for building scalable and maintainable applications
ilya-klyuchnikov/elixir-lang.github.com
Website for Elixir
ilya-klyuchnikov/eqwalizer
A type-checker for Erlang
ilya-klyuchnikov/erlfmt
An automated code formatter for Erlang
ilya-klyuchnikov/erlfuzz
erlfuzz is a fuzzer for the Erlang ecosystem
ilya-klyuchnikov/essentials-of-compilation
Public helper code for p423/p523 students (Racket)
ilya-klyuchnikov/firefly
ilya-klyuchnikov/gluon
A static, type inferred and embeddable language written in Rust.
ilya-klyuchnikov/graphql-erlang
GraphQL implementation in Erlang.
ilya-klyuchnikov/hashlink
A virtual machine for Haxe
ilya-klyuchnikov/jif
Java-like Language with Static Information Flow Types
ilya-klyuchnikov/knowledge
Everything I know
ilya-klyuchnikov/lua
The Lua development repository, as seen by the Lua team. Mirrored irregularly. Please DO NOT send pull requests. Report issues in the Lua mailing list https://www.lua.org/lua-l.html
ilya-klyuchnikov/meck
A mocking library for Erlang
ilya-klyuchnikov/otp
Erlang/OTP
ilya-klyuchnikov/rebar3
Erlang build tool that makes it easy to compile and test Erlang applications and releases.
ilya-klyuchnikov/rust-analyzer
A Rust compiler front-end for IDEs
ilya-klyuchnikov/rustler
Safe Rust bridge for creating Erlang NIF functions
ilya-klyuchnikov/rustler-juicy
A fast JSON parser for Elixir with some extra features
ilya-klyuchnikov/spsc
SPSC: A Small Positive Supercompiler
ilya-klyuchnikov/waraft
An Erlang implementation of RAFT from WhatsApp
ilya-klyuchnikov/wasmtime
A fast and secure runtime for WebAssembly
ilya-klyuchnikov/zuo
A tiny Racket for scripting