scribble / scribble-language-guide
The Scribble language guide.
☆14Updated 8 years ago
Alternatives and similar repositories for scribble-language-guide:
Users that are interested in scribble-language-guide are comparing it to the libraries listed below
- Edison: A Library of Efficient Data Structures☆55Updated last year
- An extended typed Lambda Calculus☆20Updated 5 months ago
- SML Parser Combinator Library☆27Updated 8 years ago
- An experiment at expressing functors in F# the .NET type system.☆17Updated 11 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- Idris LLVM codegen factored out☆78Updated 7 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- microkanren in sml☆26Updated 9 years ago
- An Ivory library inspired by Atom☆14Updated 8 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- For supporting template-based programming☆21Updated 4 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 8 years ago
- A pure Haskell implementation of Datalog☆104Updated 4 years ago
- MLton for scalable multicore architectures☆57Updated 10 years ago
- Selective applicative functors laws and theorems☆14Updated 4 years ago
- Fork of official GHC repository.☆44Updated 11 months ago
- 1ML prototype interpreter☆19Updated 4 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 6 years ago
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- The Omni Programming Language☆34Updated 7 years ago
- [toy] A rewriting language similar to the core of Mathematica☆54Updated 2 years ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆272Updated 11 years ago
- A multi-method simulation library☆79Updated 7 months ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Updated 7 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Roaring bitmaps in Haskell☆13Updated 6 years ago