Idris-written, correct-by-construction, simply-typed lambda calculus.
☆39May 21, 2018Updated 7 years ago
Alternatives and similar repositories for LICK
Users that are interested in LICK are comparing it to the libraries listed below
Sorting:
- Collection of Idris snippets☆23Dec 23, 2025Updated 2 months ago
- An educational tool for providing a gentle introduction to Assembly☆10Mar 24, 2022Updated 3 years ago
- Packrat parsing of left-recursive grammars via F# active patterns. Efficient and expressive.☆14Nov 13, 2018Updated 7 years ago
- Setting up an Idris dev environment on Windows☆16Dec 8, 2019Updated 6 years ago
- Curses bindings package for Idris☆13Jan 4, 2019Updated 7 years ago
- An F# library to allow using printf style strings in more places.☆14Dec 18, 2025Updated 2 months ago
- Raspberry PI robot powered with FSharp☆12Oct 15, 2017Updated 8 years ago
- An F# library for writing and reading .NET assemblies and modules☆12Aug 30, 2021Updated 4 years ago
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 6 years ago
- A set of template services in different languages and frameworks. An abstract performance comparison based on the endpoint throughput. Th…☆16Oct 23, 2020Updated 5 years ago
- Paket on .NET Core testing ground☆17Sep 21, 2018Updated 7 years ago
- A port of the gloss library from Haskell to Idris☆23Jul 9, 2018Updated 7 years ago
- ☆17Jul 25, 2023Updated 2 years ago
- Utf8Json Extensions for F#.☆19Aug 4, 2018Updated 7 years ago
- A dependently typed type checker for a TT with intervals☆24Feb 6, 2020Updated 6 years ago
- ☆50Dec 21, 2017Updated 8 years ago
- TParsec - Total Parser Combinators in Idris☆99Aug 7, 2023Updated 2 years ago
- ☆27Dec 19, 2024Updated last year
- A lightweight library of abstractions for Higher-kinded programming in F#☆187Mar 2, 2018Updated 8 years ago
- being a thing I build on a Saturday☆28Mar 5, 2018Updated 8 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Jun 2, 2020Updated 5 years ago
- Source code for my web site and blog - yet another remake!☆26Feb 12, 2026Updated 3 weeks ago
- Telegram bot for chats administration☆22Aug 15, 2023Updated 2 years ago
- A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.☆72Sep 6, 2018Updated 7 years ago
- ☆26Jan 22, 2024Updated 2 years ago
- Book: Introduction to Dependent Types with Idris☆78Feb 27, 2023Updated 3 years ago
- Generated API documentation for the FSharp.Core library. Generated using FSharp.Formatting.☆36Updated this week
- Self-contained repository for the eponymous paper☆30Jan 11, 2019Updated 7 years ago
- .NET library to work with Git repositories☆34Feb 27, 2026Updated last week
- deprecated in favor of -XQualifiedDo☆41May 8, 2021Updated 4 years ago
- Compositional type checking for Haskell☆38Apr 14, 2011Updated 14 years ago
- 4D Miner C++ Modding Headers / 4D-Modding API Headers☆12Dec 31, 2025Updated 2 months ago
- Conway's Game of Life in Web Assembly, built using Bolero☆31Jun 14, 2020Updated 5 years ago
- Idris port of Haskell's sop-core library☆36Aug 14, 2025Updated 6 months ago
- OCaml with typed algebraic effects☆53Oct 12, 2018Updated 7 years ago
- Jenkins jabber plugin☆26Sep 11, 2021Updated 4 years ago
- Jabber/XMPP client for Android☆20Oct 13, 2018Updated 7 years ago
- Making it simple to customize Hosting for your .NET Core 6.x+ application☆10Oct 19, 2022Updated 3 years ago
- ☆10Sep 28, 2020Updated 5 years ago