tmcgilchrist / durinLinks
Durin is a library for reading and writing the Dwarf debugging format
☆46Updated last week
Alternatives and similar repositories for durin
Users that are interested in durin are comparing it to the libraries listed below
Sorting:
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆24Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆65Updated 3 weeks ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆117Updated 3 weeks ago
- Experiment on how to bootstrap the OCaml compiler☆111Updated 3 years ago
- Match compilation algorithm in OCaml☆31Updated 9 months ago
- A SKI combinators interpreter written in assembly☆20Updated 5 years ago
- a self-hosting lambda calculus compiler☆37Updated 8 months ago
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- For Jar artifacts☆19Updated last month
- A deterministic parser with fused lexing☆74Updated 2 years ago
- The Caml Light implementation of the Caml language☆67Updated 2 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12Updated last year
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆40Updated last month
- Miscellaneous Racket utilities lacking a better home☆13Updated 2 months ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆119Updated this week
- A collection of programming languages and type systems.☆33Updated 7 months ago
- A peer-to-peer file-transfer tool in OCaml☆144Updated 7 months ago
- A Haskell-like language for scripting and web apps☆14Updated last year
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Updated last year
- The first ever roguelike written in the OCaml type system☆93Updated 8 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆82Updated 2 months ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Compile OCaml to standalone ANSI C file☆45Updated this week
- concatenative array language inspired by kdb/+q☆96Updated 3 years ago
- build-once run-anywhere OCaml programs☆139Updated 5 months ago
- The OCaml-Canvas library provides a portable Canvas for OCaml☆60Updated last year
- Slog 1.0☆45Updated last year
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆30Updated this week