diku-dk / futhark-website
Git repository containing the Futhark website.
☆10Updated 3 weeks ago
Alternatives and similar repositories for futhark-website:
Users that are interested in futhark-website are comparing it to the libraries listed below
- Call Futhark programs from Standard ML☆10Updated 7 months ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆59Updated 4 years ago
- HTTP utility library for Standard ML☆11Updated last year
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- Web server infrastructure for Standard ML☆13Updated last year
- Signature documentation tool for Standard ML☆14Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 10 months ago
- ☆43Updated 3 years ago
- SML Parser Combinator Library☆28Updated 8 years ago
- Demo for dependent types + runtime code generation☆69Updated 2 months ago
- Hanoi tower in Coq☆25Updated 4 months ago
- Forging Standard ML (SML) in emacs☆10Updated 2 years ago
- A deterministic parser with fused lexing☆72Updated last year
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆15Updated 4 years ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated 2 months ago
- MixML prototype interpreter☆27Updated 5 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- Pretty-print error messages of the ATS Compiler☆35Updated 5 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- A verified compiler for a lazy functional language☆35Updated this week
- A minimalist implementation of type theory, suitable for experimentation☆15Updated 6 months ago
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆29Updated 6 years ago
- Idris 2 bindings to various C libraries☆15Updated 3 years ago
- A formalization of System Fω in Agda☆17Updated 2 months ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated 3 weeks ago
- an implementation of stuck macros☆139Updated last month
- A TOML parser for Idris 2☆17Updated 9 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 3 months ago