A very simple implementation of a little dependently typed language
☆11Aug 30, 2012Updated 14 years ago
Alternatives and similar repositories for tiny-dependent-types
Users that are interested in tiny-dependent-types are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Curses bindings package for Idris☆12Jan 4, 2019Updated 7 years ago
- F# Graph Library☆15Feb 26, 2016Updated 10 years ago
- Safe bindings to LLVM in Rust☆11Dec 15, 2019Updated 6 years ago
- A simple XML module for Idris.☆12May 22, 2020Updated 6 years ago
- Web application allowing to edit Scala symbols documentation☆11Jan 23, 2012Updated 14 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- This was the moment that Mark totally lost his shit and started rewritting jenkins in shell and ended up with a haskell build bot.☆11Jun 18, 2019Updated 7 years ago
- An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …☆109Feb 20, 2019Updated 7 years ago
- Cypher queries in F#☆11Oct 29, 2019Updated 7 years ago
- ☆16Jan 28, 2013Updated 13 years ago
- Concerted is an in memory data storage library with support for efficient multivariate queries and highly scalable and high workload envi…☆11Oct 21, 2015Updated 11 years ago
- A semantic highlighter for Idris code☆14Feb 22, 2018Updated 8 years ago
- A small implementation of a proof refinement logic.☆50Jul 3, 2017Updated 9 years ago
- A concurrent, object-oriented, functional programming language with a very strong type system. NOTE: Not to be confused with http://atomo…☆13May 27, 2009Updated 17 years ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A set of tools for Coq written in Rust☆14Dec 4, 2017Updated 8 years ago
- Setting up an Idris dev environment on Windows☆15Dec 8, 2019Updated 6 years ago
- Racket bindings for Poppler (library for reading and generating pdfs)☆24Aug 16, 2026Updated 2 months ago
- Animation of Yves Lafont's Interaction Combinators☆25Jan 30, 2022Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- A mostly FP implementation of Schorre's "syntax-oriented compiler writing language"☆13Mar 21, 2019Updated 7 years ago
- Idris backend targeting Elixir (Work in progress)☆18Jan 26, 2017Updated 9 years ago
- Tagged union types and immutable records (product types) in Python☆11Jun 5, 2017Updated 9 years ago
- Versatile Analog Literals for Rust☆11Apr 29, 2015Updated 11 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Unobtrusive realtime mouse-tracking analytics for node.js☆18Nov 22, 2015Updated 10 years ago
- A dependently typed type checker for a TT with intervals☆24Feb 6, 2020Updated 6 years ago
- microkanren in sml☆27Feb 26, 2015Updated 11 years ago
- eclipse plugin to support side-by-side proofs and code☆25Dec 18, 2018Updated 7 years ago
- Publicly available Python and Gretl code from posts at my blog Prognostikon☆11Jul 18, 2026Updated 3 months ago
- Python rendering framework for signed distance function geometries☆10Aug 16, 2022Updated 4 years ago
- Multiplication on optimal λ-calculus reducers☆23Aug 14, 2020Updated 6 years ago
- Fungi: Typed incremental computation with names☆71Oct 11, 2019Updated 7 years ago
- Implementations of various toy programming languages☆11Apr 19, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Brainfuck formalized in Coq☆32Mar 29, 2022Updated 4 years ago
- ☆11Apr 7, 2023Updated 3 years ago
- An extended version of Scala's scaladoc command☆21Jul 2, 2011Updated 15 years ago
- ☆13Mar 27, 2013Updated 13 years ago
- SASL mechanism factory.☆11Jun 19, 2013Updated 13 years ago
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.☆34May 27, 2017Updated 9 years ago
- Raspberry Pi Pico frequency divider☆15Nov 21, 2021Updated 4 years ago