nqpz / burgerforslag
burgerforslag.dk
☆13Updated last year
Alternatives and similar repositories for burgerforslag:
Users that are interested in burgerforslag are comparing it to the libraries listed below
- Experiments with eBPF bytecode☆12Updated 11 months ago
- Call Futhark programs from Standard ML☆10Updated 4 months ago
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- Tutorial for using the MPL compiler for Parallel ML☆19Updated 3 weeks ago
- ☆11Updated 7 years ago
- A Futhark binding generator for Rust and OCaml☆28Updated 11 months ago
- Slides and handwritten notes on the course on models of programming languages☆50Updated 4 years ago
- Parallel Functional Programming, 2020☆15Updated last year
- ☆21Updated 4 years ago
- HTTP utility library for Standard ML☆11Updated last year
- Standard ML Parser Combinator Library☆15Updated 4 months ago
- Image Utilities for F# (2d-drawing, loading/saving of image files, simple Gtk apps)☆9Updated 2 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆55Updated 9 months ago
- A dependent type theory with user defined data types☆45Updated 3 years ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical types☆26Updated this week
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- Public repository for the 2023 edition of HPPS☆19Updated last year
- Current work documents on the Pixy programming language☆14Updated 6 years ago
- An experimental Haskell library for programming with effectful runners.☆29Updated 5 years ago
- freshly-fermented, dependently-typed mustard, with a substructural aftertaste☆31Updated 4 years ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆129Updated 4 years ago
- The extremely portable, extremely extensible line editor☆13Updated 2 years ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- Formalising session types in Coq☆17Updated 5 years ago
- LL(1) parser generator verified in Coq☆45Updated 5 years ago
- Public repository for HPPS☆11Updated this week
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆16Updated 3 weeks ago
- A verified compiler for a lazy functional language☆33Updated 2 weeks ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- Command-like expressions for real infinite-precision calculations☆42Updated last year