enso-org / hiring
Job descriptions for hiring
☆27Updated 11 months ago
Related projects: ⓘ
- LaTeX sources for the Habit Programming Language Report☆24Updated 5 years ago
- ☆36Updated 6 years ago
- BDD-based implementation of Datalog☆36Updated 4 years ago
- it's a starcraft clone but with a dope typesystem☆48Updated 4 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Kempe is a compiled stack-based language☆58Updated 3 months ago
- Get a GUI fast in any language under the sea!☆47Updated last year
- A proof that Idris is pacman complete☆8Updated 6 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 4 years ago
- ☆20Updated 5 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 2 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- A Haskell implementation of the Formality language☆18Updated 4 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 2 years ago
- ☆54Updated 4 years ago
- ☆46Updated this week
- ⚖️ Trial Data Type☆20Updated 4 months ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- My Idris2 solutions/attempts for Advent of Code 2020☆17Updated 3 years ago
- learning cuda☆19Updated 8 years ago
- Extensible records for Idris☆26Updated 3 years ago
- A simple Prolog interpreter☆43Updated 2 years ago
- ICFP tutorial☆40Updated 3 years ago
- Book: Introduction to Dependent Types with Idris☆75Updated last year
- So, you want to write a DSL interpreter...☆25Updated 5 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Updated 4 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 3 years ago
- A dependently typed programming language, and verification tool☆26Updated 8 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago