A simple development of linear logic in Coq.
☆13Mar 22, 2025Updated 11 months ago
Alternatives and similar repositories for LinearLogic
Users that are interested in LinearLogic are comparing it to the libraries listed below
Sorting:
- Access hint databases from tactics.☆12Apr 22, 2020Updated 5 years ago
- Mindless, verified (erasably) coding using dependent types☆104Dec 17, 2015Updated 10 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Mar 31, 2015Updated 10 years ago
- IPython-style interaction for Cryptol☆15Dec 5, 2016Updated 9 years ago
- ☆64Jun 24, 2019Updated 6 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Pure and comonadic Game of Life in Fantasy Land compatible JavaScript☆43Oct 14, 2013Updated 12 years ago
- Introduction to python and Jupyter Notebook; includes all of Michael's lecture notes☆15Mar 9, 2025Updated 11 months ago
- An implementation of Functional Reactive Programming☆41Mar 2, 2015Updated 11 years ago
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 8 years ago
- Classes for types where we know all the values☆39Jan 3, 2025Updated last year
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- Purescript bindings for Threejs☆32Jan 9, 2019Updated 7 years ago
- A toolkit for creating REST services with Node and PureScript☆32Jan 26, 2017Updated 9 years ago
- A Cython library to solve the Bittensor registration POW on CUDA☆15Aug 15, 2025Updated 6 months ago
- Project to digitize avant-garde periodicals☆12May 13, 2022Updated 3 years ago
- ☆14Oct 27, 2014Updated 11 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- Globular☆39Aug 22, 2018Updated 7 years ago
- ☆12Oct 19, 2014Updated 11 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- This project focuses on using deep learning to replace text in images while retaining the same font and style.☆10Dec 9, 2019Updated 6 years ago
- A simple GUI for Agda☆31Dec 13, 2015Updated 10 years ago
- A hyperlinked help system for Sublime Text 3☆12Apr 16, 2021Updated 4 years ago
- This network estimation procedure combines l1-regularized logistic regression with model selection based on the Extended Bayesian Informa…☆10Oct 12, 2023Updated 2 years ago
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Mar 17, 2015Updated 10 years ago
- [ARCHIVED] An F# type provider for DBpedia☆13Apr 4, 2016Updated 9 years ago
- Quickly insert debugger statements into your buffer based on filetype.☆10May 5, 2020Updated 5 years ago
- Vue.js wrapper over canvas manipulation library fabric.js — **Note: not quite ready for prime time**☆11Nov 27, 2016Updated 9 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 8 years ago
- Qt-based implementation of VisOpt Slider widget [UIST 2014] for C++ & Python☆12Oct 12, 2019Updated 6 years ago
- A new language for optimization☆13May 17, 2021Updated 4 years ago
- The Click example that I use in my tutorial articles.☆13May 23, 2018Updated 7 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Aug 27, 2015Updated 10 years ago
- A blog about Coq☆11Mar 21, 2021Updated 4 years ago
- AVL Trees for Racket☆12Jan 7, 2018Updated 8 years ago
- Pro Django中文译本☆11Jun 11, 2017Updated 8 years ago
- GHCJS binding for three.js☆10Nov 23, 2017Updated 8 years ago