diku-dk / futhark-website
Git repository containing the Futhark website.
☆10Updated last week
Alternatives and similar repositories for futhark-website:
Users that are interested in futhark-website are comparing it to the libraries listed below
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆16Updated 2 weeks ago
- Call Futhark programs from Standard ML☆10Updated 4 months ago
- HTTP utility library for Standard ML☆11Updated last year
- Forging Standard ML (SML) in emacs☆10Updated 2 years ago
- A TOML parser for Idris 2☆15Updated 7 months ago
- The LC3 virtual machine☆23Updated last month
- The Iowa Agda Library☆47Updated last month
- ☆40Updated 3 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Signature documentation tool for Standard ML☆14Updated last year
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- An equational theorem prover based on Knuth-Bendix completion☆49Updated 2 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆56Updated 8 months ago
- 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
- Minimalistic dependent type theory with syntactic metaprogramming☆56Updated 7 months ago
- The glitch-soc/Mastodon fork running on types.pl☆22Updated 2 weeks ago
- Hanoi tower in Coq☆24Updated last month
- Embedded C code generation DSL for Haskell.☆28Updated 5 years ago
- Parallel Programming in Futhark☆48Updated 2 weeks ago
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆41Updated 5 years ago
- ☆47Updated 7 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆38Updated 7 months ago
- Idris 2 bindings to various C libraries☆15Updated 3 years ago
- Matita (proof assistant) with embedded elpi☆11Updated 7 years ago
- The Alms Programming Language☆44Updated 6 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆29Updated 5 years ago
- An extended typed Lambda Calculus☆20Updated 5 months ago
- Web server infrastructure for Standard ML☆13Updated last year