diku-dk / futhark-website
Git repository containing the Futhark website.
☆10Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for futhark-website
- Call Futhark programs from Standard ML☆10Updated 2 months ago
- An experimental language server for SomewhatML☆24Updated last year
- Official library for the MPL compiler (https://github.com/mpllang/mpl)☆16Updated 10 months ago
- A pure type system implemented in OCaml☆77Updated 3 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- Formalizations of Gradually Typed Languages in Agda☆54Updated last month
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- A deterministic parser with fused lexing☆71Updated last year
- SPSC: A Small Positive Supercompiler☆32Updated 6 months ago
- HTTP utility library for Standard ML☆11Updated last year
- Signature documentation tool for Standard ML☆14Updated last year
- An equational theorem prover based on Knuth-Bendix completion☆49Updated 5 months ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical types☆25Updated this week
- Repository and Wiki for enriching the Standard ML Basis Library☆60Updated 2 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆41Updated 4 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆33Updated last year
- Various Futhark benchmark programs☆40Updated last month
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆54Updated 6 months ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- Parallel Programming in Futhark☆48Updated 8 months ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆99Updated last year
- A Coq to Cedille compiler written in Coq☆33Updated 4 years ago
- Data frames for Idris 2☆21Updated last year
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆19Updated 3 years ago
- A dependent type theory with user defined data types☆45Updated 3 years ago
- Package manager for Idris☆35Updated 2 years ago
- Brainfuck formalized in Coq☆26Updated 2 years ago
- Command-like expressions for real infinite-precision calculations☆40Updated last year
- A custom parser/auto-formatter for Standard ML☆68Updated 11 months ago