Intuitionistic Programming Language
☆12Dec 28, 2013Updated 12 years ago
Alternatives and similar repositories for intuitionistic
Users that are interested in intuitionistic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- A flexible tool for the multi-resolution localization of causal variants across the genome☆11Feb 19, 2021Updated 5 years ago
- A collection of utilities to help with pathname operations.☆13Aug 13, 2025Updated 7 months ago
- sciFLT is a Fuzzy Logic Toolbox for scilab☆10Oct 8, 2019Updated 6 years ago
- A compiler for a Scheme-like language. Currently, the goal is not full standards-compliance but rather to implement a compiler that is us…☆13Feb 8, 2025Updated last year
- Julia package for performing rigorous arithmetic of Imprecise Probabilities with fuzzy numbers☆14Apr 5, 2024Updated last year
- Distributed Algorithms — Online Textbook☆18Jan 2, 2021Updated 5 years ago
- A BGEN file format reader.☆13Jun 17, 2024Updated last year
- An implementation of Scheme embedded in Common Lisp☆25Dec 2, 2011Updated 14 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- Repo for Dynamic Statistical Comparisons project☆13Feb 5, 2024Updated 2 years ago
- 🐲 Boost your efficiency: Make your computer work for you☆14Oct 18, 2021Updated 4 years ago
- ☆11Jul 7, 2020Updated 5 years ago
- Semantic Versions handling in Common Lisp☆15Mar 18, 2023Updated 3 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆11May 29, 2021Updated 4 years ago
- time course regulatory analysis from paired gene expression and chromatin accessibility time course data☆11Nov 10, 2023Updated 2 years ago
- Code related to different aspects of conformal learning☆17Jan 28, 2025Updated last year
- Constraint-based Learning with Neural Networks☆15Dec 7, 2020Updated 5 years ago
- Sample code in MMIX assembly language☆12Jan 25, 2022Updated 4 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Oct 31, 2025Updated 4 months ago
- Discuss future project ideas☆12May 10, 2017Updated 8 years ago
- Scheme to Common Lisp☆20Dec 16, 2023Updated 2 years ago
- Credici: Credal Inference for Causal Inference☆20May 17, 2025Updated 10 months ago
- ☆10Oct 11, 2022Updated 3 years ago
- ☆11Jun 21, 2022Updated 3 years ago
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆18May 22, 2023Updated 2 years ago
- Hadoop, Hive, Spark, Zeppelin and Livy: all in one Docker-compose file.☆11Apr 30, 2022Updated 3 years ago
- A x86 assembler in Commn Lisp☆24Sep 30, 2017Updated 8 years ago
- LLVM Dialects Library☆23Mar 10, 2026Updated last week
- IsarMathLib is a library of formalized mathematics for Isabelle/ZF.☆18Mar 1, 2026Updated 3 weeks ago
- The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent☆14Aug 3, 2018Updated 7 years ago
- Portable CLtL2☆15Dec 12, 2021Updated 4 years ago
- Haskell in C++☆13May 17, 2015Updated 10 years ago
- Syntax highlighting for Alda - a music programming language.☆12Sep 5, 2021Updated 4 years ago
- A matrix-like wrapper around PLINK .bed files☆19Sep 6, 2024Updated last year
- snpnet - Efficient Lasso Solver for Large-scale genetic variant data☆21Mar 5, 2024Updated 2 years ago
- My working copy of the Common Lisp ANSI Test Suite☆17Apr 1, 2023Updated 2 years ago
- GPU model checker☆13Apr 17, 2019Updated 6 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago