diku-dk / futhark-websiteLinks
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
Sorting:
- Call Futhark programs from Standard ML☆10Updated 2 weeks ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆43Updated 5 years ago
- For supporting template-based programming☆21Updated 4 years ago
- HTTP utility library for Standard ML☆11Updated last year
- Hanoi tower in Coq☆26Updated 2 weeks ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆61Updated 4 years ago
- ☆18Updated 6 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated last year
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Formalizations of Gradually Typed Languages in Agda☆57Updated 4 months ago
- An equational theorem prover based on Knuth-Bendix completion☆52Updated 2 months ago
- Signature documentation tool for Standard ML☆14Updated last year
- Forging Standard ML (SML) in emacs☆10Updated 2 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 11 months ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 4 months ago
- For parts of https://www.ats-lang.org☆27Updated 3 weeks ago
- ☆43Updated 3 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆30Updated 4 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆62Updated 3 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆36Updated last year
- A TOML parser for Idris 2☆17Updated 11 months ago
- A deterministic parser with fused lexing☆73Updated last year
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 11 years ago
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Racket bindings for Z3☆24Updated 6 years ago
- The Iowa Agda Library☆47Updated 6 months ago