An interpreter for Gödel's System T
☆13Apr 17, 2017Updated 8 years ago
Alternatives and similar repositories for SystemT
Users that are interested in SystemT are comparing it to the libraries listed below
Sorting:
- Haskell Enforcer of user specified code standards☆22Feb 10, 2026Updated 2 weeks ago
- A library to easily use servant and GDP together to build web apis with a lot of knowledge in the types☆10Sep 15, 2021Updated 4 years ago
- ☆15May 23, 2017Updated 8 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- a tech demo for a bullet hell game. for the full game visit https://gilmi.me/nyx☆34Mar 7, 2019Updated 6 years ago
- My personal web site☆17Feb 18, 2026Updated last week
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Sep 1, 2025Updated 6 months ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated last year
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 6 years ago
- ☆17Jun 29, 2020Updated 5 years ago
- Command rewriter☆18Sep 28, 2016Updated 9 years ago
- An unofficial issue tracker for all things Haskell-related☆18Mar 31, 2016Updated 9 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Sep 12, 2024Updated last year
- Create and animate sprites easily with sdl2 (Haskell)☆24May 12, 2018Updated 7 years ago
- Free categories, free arrows and free categories with monadic actions☆24Mar 4, 2025Updated 11 months ago
- n queens with the logic monad☆20Jan 10, 2015Updated 11 years ago
- K Junior is an MIT licensed open source array language written by Arthur Whitney.☆23Jun 1, 2024Updated last year
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 6 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 6 years ago
- ☆24Jul 23, 2024Updated last year
- ☆21Jun 11, 2020Updated 5 years ago
- For supporting template-based programming☆23Jun 21, 2020Updated 5 years ago
- Monitor nginx access logs in real time.☆25Dec 9, 2019Updated 6 years ago
- The Str signature and implementations☆21May 28, 2017Updated 8 years ago
- Literature review of GHC's Core language, System FC☆67Jun 27, 2018Updated 7 years ago
- Database maintenance tool support☆26Mar 22, 2024Updated last year
- Delete half (minus ε) of your Haskell code!☆30Feb 13, 2026Updated 2 weeks ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆30Jul 20, 2024Updated last year
- ICFP Bingo 2017 (Idris edition)☆30Aug 22, 2019Updated 6 years ago
- A header-only portability and boilerplate library for C☆27Sep 22, 2025Updated 5 months ago
- ☆29Oct 23, 2019Updated 6 years ago
- simple chan based stream programming with arrow interface (Chan + Arrow = Churro)☆32Oct 16, 2022Updated 3 years ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆60Dec 28, 2025Updated 2 months ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- Keep your laziness in check!☆35Updated this week
- Collection of ATS goodness☆34Nov 19, 2019Updated 6 years ago
- Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon☆67Feb 20, 2026Updated last week
- Compiler Backend for LSTS (Typed Macro Assembler)☆36Updated this week