A simple development of linear logic in Coq.
☆13Mar 22, 2025Updated last year
Alternatives and similar repositories for LinearLogic
Users that are interested in LinearLogic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.☆18Jun 22, 2015Updated 11 years ago
- BibTeX database management in Idris☆18May 13, 2014Updated 12 years ago
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Oct 14, 2011Updated 15 years ago
- This repository is now obsolete☆11Sep 29, 2012Updated 14 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆68Jun 24, 2019Updated 7 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 10 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆23Feb 4, 2022Updated 4 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Mar 31, 2015Updated 11 years ago
- ☆17Oct 8, 2014Updated 12 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- An implementation of Functional Reactive Programming☆41Mar 2, 2015Updated 11 years ago
- Haskell BLAS bindings☆16Oct 17, 2010Updated 16 years ago
- FileTea-like command line tool☆10Dec 19, 2013Updated 12 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.
- Analysing Reddit user data.☆13May 5, 2014Updated 12 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆247Sep 10, 2014Updated 12 years ago
- This repository powers the Teaching Machines website☆14Jul 17, 2022Updated 4 years ago
- Access hint databases from tactics.☆12Apr 22, 2020Updated 6 years ago
- IPython-style interaction for Cryptol☆15Dec 5, 2016Updated 9 years ago
- Collection of tactics I've found useful in Coq☆11Sep 30, 2016Updated 10 years ago
- Matrix operations in 100% pure Haskell☆34Nov 28, 2023Updated 2 years ago
- ☆37Sep 19, 2013Updated 13 years ago
- modal logic library for LEAN theorem prover☆13Aug 20, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Lua scripts for interacting with TVTropes☆13Apr 29, 2011Updated 15 years ago
- IPython/Jupiter kernel for Racket and Gamble.☆10May 1, 2018Updated 8 years ago
- An Emas Major Mode for editing Answer Set Programs☆13Apr 4, 2018Updated 8 years ago
- Flashup format flashcards for public consumption☆12Aug 1, 2011Updated 15 years ago
- A concurrent mutable ring-buffer☆13Oct 14, 2024Updated 2 years ago
- .twee source files defining structures and rules common in Interactive Fiction.☆36Dec 5, 2014Updated 11 years ago
- The L10 Logic Programming Language☆10Aug 4, 2015Updated 11 years ago
- A toolkit for creating REST services with Node and PureScript☆32Jan 26, 2017Updated 9 years ago
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 9 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.
- Code for "Error-driven Fixed-Budget ASR Personalization for Accented Speakers" in ICASSP 2021☆11Jun 13, 2021Updated 5 years ago
- Continuous reactive programming in JavaScript.☆10Mar 12, 2021Updated 5 years ago
- Mindless, verified (erasably) coding using dependent types☆104Dec 17, 2015Updated 10 years ago
- ☆19Apr 25, 2025Updated last year
- Delayed processing of Vector / Matrix expression in Julia with various backends (Julia,CUDA-PTX,...)☆10Feb 6, 2013Updated 13 years ago
- Learn to create Ruby on Rails engines by building a pagination engine.☆11Apr 25, 2022Updated 4 years ago
- Pure Haskell arbitrary length FFT library☆13Mar 5, 2020Updated 6 years ago