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
Sorting:
- 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
- Distributed Algorithms — Online Textbook☆18Jan 2, 2021Updated 5 years ago
- A CLI tool to fetch and display unresolved GitHub PR comments☆13Feb 28, 2025Updated last year
- We have moved: https://gitlab.anu.edu.au/mu/mu-spec☆26Jun 17, 2016Updated 9 years ago
- Kanban Tool Extension Development Kit☆10Feb 27, 2019Updated 7 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Apr 8, 2015Updated 10 years ago
- The Behringer X32 Scene File of Saddleback Berlin Church's Production Team.☆12Apr 29, 2023Updated 2 years ago
- Installer builder using SVN back-end database and S3 storage☆10Updated this week
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Jun 30, 2016Updated 9 years ago
- ☆11Updated this week
- ☆10Oct 11, 2022Updated 3 years ago
- An implementation in C of the pixel sorting algorithm used to glitch pictures.☆10Nov 2, 2017Updated 8 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆49Nov 26, 2011Updated 14 years ago
- It's not ROS... but it is ROS-y! Simple, fast inter-process message passing for distributed Python processes☆11Sep 5, 2025Updated 5 months ago
- Galaxy is a lightweight software deployment and management tool. We use it at Ning to manage the Java cores and Apache httpd instances th…☆21Sep 11, 2011Updated 14 years ago
- My (newer) Emacs configuration☆14Sep 14, 2025Updated 5 months ago
- QMK Homebrew Formulae☆16May 28, 2025Updated 9 months ago
- ☆10Dec 16, 2018Updated 7 years ago
- Luajit array slice implementation☆20Oct 1, 2012Updated 13 years ago
- Offline voice-controlled music player for Raspberry Pi☆10May 27, 2024Updated last year
- Adobe Photoshop plugin that aims to streamline the process of creating frame-by-frame animations.☆10Aug 27, 2024Updated last year
- ☆10Sep 8, 2015Updated 10 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Archive of the categories mailling list☆12Sep 8, 2020Updated 5 years ago
- A JMM Cookbook for Java Developers(as opposed to a cookbook for Compiler Writers)☆12Jun 13, 2014Updated 11 years ago
- sciFLT is a Fuzzy Logic Toolbox for scilab☆10Oct 8, 2019Updated 6 years ago
- ☆11Jun 21, 2022Updated 3 years ago
- Multiversion concurrency control (MVCC) on top of MongoDB. It supports lock-free ACID transactions, versioning, and more.☆94Jan 24, 2015Updated 11 years ago
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Sep 6, 2025Updated 5 months ago
- Generate letters (plain text or PDF) from templates.☆14Jan 8, 2023Updated 3 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- My SMW workspace for all of my public stuff. Contributions via pull requests are welcome!☆11Jan 24, 2025Updated last year
- Generate bash/zsh completions from man pages☆90Oct 19, 2023Updated 2 years ago
- Leftry - A left-recursion enabled recursive-descent parser combinator library for Lua.☆38Oct 9, 2017Updated 8 years ago
- The clickity clackity next-gen terminal.☆21Oct 18, 2025Updated 4 months ago
- A revised version of Avery Pennarun's redo.☆11Nov 9, 2022Updated 3 years ago
- An abstraction for Mutation Observer with some extra features☆11Nov 3, 2016Updated 9 years ago
- ☆12Oct 18, 2022Updated 3 years ago
- Flash cards chrome extensions☆13Jul 12, 2022Updated 3 years ago