aionescu

aionescu's Stars

• FractalFir/rustc_codegen_clr

  This rust compiler backend(module) emmits valid CIL (.NET IR), enabling you to use Rust in .NET projects.

  Language:Rust1.6k262437

• nuprl/10PL

  10 papers that all PhD students in programming languages ought to know, for some value of 10

  89857129

• AndrasKovacs/elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

  Language:Haskell621403236

• sweirich/pi-forall

  A demo implementation of a simple dependently-typed language

  Language:Haskell57033589

• topshell-language/topshell

  TopShell - a purely functional, reactive scripting language

  Language:Scala4811639

• explodingcamera/tinywasm

  A tiny, interpreted WebAssembly Runtime written in Rust

  Language:Rust47471418

• pen-lang/pen

  The parallel, concurrent, and functional programming language for scalable software development

  Language:Rust45182135

• SeaOfNodes/Simple

  A Simple showcase for the Sea-of-Nodes compiler IR

  Language:Java416301830

• gren-lang/compiler

  Compiler for the Gren programming language

  Language:Haskell3981515325

• Snektron/pareas

  GPU-accelerated compiler

  Language:Futhark3406110

• williamdemeo/TypeFunc

  Resources for type theory, functional programming, etc.

  31122017

• ethereum/hevm

  symbolic EVM evaluator

  Language:Haskell2461217047

• mbrock/wisp

  Lisp in WebAssembly

  Language:Zig2468216

• LeifAndersen/PLGradSchools

  22413032

• msakai/toysolver

  My sandbox for experimenting with solver algorithms.

  Language:Haskell155112211

• tomjaguarpaw/bluefin

  Language:Haskell7761910

• Superstar64/aith

  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.

  Language:Haskell63610

• zydeco-lang/zydeco

  a proof-of-concept programming language based on Call-by-push-value

  Language:Rust504442

• ilya-klyuchnikov/sc-mini

  SC Mini is a "minimal" positive supercompiler

  Language:Haskell4641213

• SystemFw/Befunge-93

  Purely Functional, Final Tagless interpreter for the Befunge-93 esolang

  Language:Scala36407

• ayazhafiz/plts

  A collection of programming languages and type systems.

  Language:OCaml33484

• arendsee/lsystems

  L-system generators and visualizers

  Language:Haskell31215

• kjosib/sophie

  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain

  Language:Python30101

• rampion/conkin

  Tools for functors from Hask^k to Hask

  Language:Haskell23314

• davdar/maam

  A monadic approach to static analysis following the methodology of AAM

  Language:Haskell198183

• Kleidukos/boreal

  Language:Haskell192143

• Cypher1/tako

  An experimental programming language for ergonomic software verification

  Language:Rust154201

• danieljharvey/wasm-calc

  Building a compiler to WASM step-by-step

  Language:Haskell13200

• sylvainhalle/reviewer-tropes

  A humorous repository of common sophisms, fallacies and dodgy arguments used by reviewers of Computer Science research papers

  420

• eviefp/lean4-aoc2023

  Language:Lean320