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
- sciFLT is a Fuzzy Logic Toolbox for scilab☆11Oct 8, 2019Updated 6 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.☆13May 18, 2026Updated 2 months 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…☆14Feb 8, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Julia package for performing rigorous arithmetic of Imprecise Probabilities with fuzzy numbers☆14Apr 5, 2024Updated 2 years ago
- Code related to different aspects of conformal learning☆18Jan 28, 2025Updated last year
- Distributed Algorithms — Online Textbook☆18Jan 2, 2021Updated 5 years ago
- Constraint-based Learning with Neural Networks☆15Dec 7, 2020Updated 5 years ago
- A BGEN file format reader.☆14Jun 17, 2024Updated 2 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
- List of languages that were implemented in a dialect of Lisp, to your surprise !☆18Jan 29, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Semantic Versions handling in Common Lisp☆15Mar 18, 2023Updated 3 years ago
- ☆11Jul 7, 2020Updated 6 years ago
- Sample code in MMIX assembly language☆13Jan 25, 2022Updated 4 years ago
- time course regulatory analysis from paired gene expression and chromatin accessibility time course data☆11Nov 10, 2023Updated 2 years ago
- Scheme to Common Lisp☆21Dec 16, 2023Updated 2 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Oct 31, 2025Updated 8 months ago
- Discuss future project ideas☆12May 10, 2017Updated 9 years ago
- ☆11Jun 21, 2022Updated 4 years ago
- Credici: Credal Inference for Causal Inference☆21May 17, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆10Oct 11, 2022Updated 3 years ago
- An implementation of Scheme embedded in Common Lisp☆25Dec 2, 2011Updated 14 years ago
- Hadoop, Hive, Spark, Zeppelin and Livy: all in one Docker-compose file.☆10Apr 30, 2022Updated 4 years ago
- LLVM Dialects Library☆24Updated this week
- 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
- Mechanized metatheory of LF in Twelf.☆16Jun 3, 2012Updated 14 years ago
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- Common Lisp Dependency Manager☆17Apr 8, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- isla coq infrastructure☆22Mar 11, 2025Updated last year
- Haskell in C++☆13May 17, 2015Updated 11 years ago
- Syntax highlighting for Alda - a music programming language.☆12Sep 5, 2021Updated 4 years ago
- My working copy of the Common Lisp ANSI Test Suite☆17Apr 1, 2023Updated 3 years ago
- snpnet - Efficient Lasso Solver for Large-scale genetic variant data☆21Mar 5, 2024Updated 2 years ago
- A matrix-like wrapper around PLINK .bed files☆19Sep 6, 2024Updated last year
- Resilient replicant Shell Programming Library for Common Lisp☆22Jul 29, 2024Updated last year