ilya-klyuchnikov

ilya-klyuchnikov

Geek Repo

Company:@facebook

Location:London

Home Page:http://pat.keldysh.ru/~ilya/

Github PK Tool:Github PK Tool


Organizations
facebook
facebookexperimental
scalaby
WhatsApp

ilya-klyuchnikov's repositories

ttlite

A SuperCompiler for Martin-Löf's Type Theory

Language:ScalaStargazers:121Issues:10Issues:0
Language:RustStargazers:12Issues:2Issues:0

AtomVM

Tiny Erlang VM

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

beamcode

A Rust library to encode / decode Erlang BEAM instructions

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

dgraph

Native GraphQL Database with graph backend

Language:GoLicense:NOASSERTIONStargazers:0Issues:0Issues:0

eep

Erlang Enhancement Proposals

Language:PerlStargazers:0Issues:0Issues:0

elixir

Elixir is a dynamic, functional language designed for building scalable and maintainable applications

Language:ElixirLicense:Apache-2.0Stargazers:0Issues:0Issues:0

elixir-lang.github.com

Website for Elixir

Language:CSSStargazers:0Issues:0Issues:0

eqwalizer

A type-checker for Erlang

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:0Issues:0

erlfmt

An automated code formatter for Erlang

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:0Issues:0

erlfuzz

erlfuzz is a fuzzer for the Erlang ecosystem

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

essentials-of-compilation

Public helper code for p423/p523 students (Racket)

Language:RacketLicense:MITStargazers:0Issues:0Issues:0
Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

gluon

A static, type inferred and embeddable language written in Rust.

Language:RustLicense:MITStargazers:0Issues:0Issues:0

graphql-erlang

GraphQL implementation in Erlang.

Language:ErlangLicense:NOASSERTIONStargazers:0Issues:0Issues:0

hashlink

A virtual machine for Haxe

Language:CLicense:MITStargazers:0Issues:0Issues:0

jif

Java-like Language with Static Information Flow Types

Language:JavaLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

knowledge

Everything I know

Language:JavaScriptStargazers:0Issues:0Issues:0

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

Language:CStargazers:0Issues:0Issues:0

meck

A mocking library for Erlang

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:0Issues:0

otp

Erlang/OTP

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rebar3

Erlang build tool that makes it easy to compile and test Erlang applications and releases.

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rust-analyzer

A Rust compiler front-end for IDEs

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rustler

Safe Rust bridge for creating Erlang NIF functions

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rustler-juicy

A fast JSON parser for Elixir with some extra features

Language:RustStargazers:0Issues:0Issues:0

spsc

SPSC: A Small Positive Supercompiler

Language:ScalaStargazers:0Issues:0Issues:0

waraft

An Erlang implementation of RAFT from WhatsApp

Language:ErlangLicense:Apache-2.0Stargazers:0Issues:0Issues:0

wasmtime

A fast and secure runtime for WebAssembly

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

zuo

A tiny Racket for scripting

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0