maximecb / kavascript

Related projects: ⓘ

• nikodemus / foolang
  A toy programming language.
  ☆37Updated 8 months ago
• caius-iulius / spinnaker
  ☆27Updated 11 months ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆28Updated 2 years ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated 6 months ago
• cuddlefishie / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆47Updated 2 months ago
• jmpnz / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆23Updated 8 months ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆19Updated 2 years ago
• dobesv / charity
  Charity Programming Language
  ☆37Updated 9 years ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆37Updated last month
• graydon / exhaustigen
  ☆10Updated 2 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆61Updated 3 months ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆36Updated last year
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆30Updated 2 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 12 years ago
• beatrice-lang / beatrice
  ☆13Updated this week
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 4 years ago
• BookOwl / type-inference
  Hindley Milner Type Inference in Rust
  ☆12Updated 6 years ago
• lambduli / minilog
  A small logic programming language.
  ☆16Updated 4 months ago
• bollu / linker-koans
  Snippets that explore how linkers work, one flag at a time.
  ☆11Updated last year
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 3 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆23Updated 2 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆47Updated 2 years ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆30Updated this week
• amshafer / Pinch
  A simple borrow-checked language built using LLVM's MLIR
  ☆26Updated 4 years ago
• 418e / Tron
  Statically typed general purpose programming language
  ☆0Updated 5 months ago
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆19Updated 6 years ago
• zachgk / catln
  A high-level programming language
  ☆35Updated this week
• samsquire / preemptible-thread
  ☆22Updated this week
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆15Updated this week