rodrigogribeiro / pcc116-2021-2View external linksLinks
☆10Dec 1, 2021Updated 4 years ago
Alternatives and similar repositories for pcc116-2021-2
Users that are interested in pcc116-2021-2 are comparing it to the libraries listed below
Sorting:
- Modal Logic Library in Coq☆16Apr 28, 2022Updated 3 years ago
- 💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42,…☆10Feb 8, 2026Updated last week
- An integrated VCS and development environment for Common Lisp☆13Mar 8, 2024Updated last year
- Mirage Queue is a library designed to provide the benefits of a message broker without introducing additional infrastructure dependencies☆10Updated this week
- Riemann Hypothesis in Lean☆42Mar 3, 2021Updated 4 years ago
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 14, 2025Updated 11 months ago
- WAI Request Throttling Middleware☆16Oct 11, 2024Updated last year
- A transient UI for Cargo, Rust's package manager☆11Dec 17, 2025Updated 2 months ago
- ☆22Oct 30, 2024Updated last year
- Simple network runner library in Haskell☆11Nov 19, 2025Updated 2 months ago
- A Common Lisp text splitting library☆11May 29, 2024Updated last year
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 6 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- An Emacs major mode for managing launchd jobs☆14Jun 11, 2021Updated 4 years ago
- Addon for openFrameworks which allows reading tweets from the streaming server☆25Jan 4, 2012Updated 14 years ago
- Protocol for transparent collections of files.☆12Aug 13, 2025Updated 6 months ago
- A Free-Software JavaScript Library made by people for the people!☆10Aug 1, 2020Updated 5 years ago
- SQL Command Line Interface (ciSQL)☆10Oct 23, 2023Updated 2 years ago
- Wrapper of the OpenSSL elliptic curve functions for easy Python manipulation☆11Apr 30, 2014Updated 11 years ago
- DESTRUCTURING-BIND with proper error signaling☆13Apr 30, 2020Updated 5 years ago
- Decimal64 and decimal128 for PostgreSQL☆10Sep 25, 2015Updated 10 years ago
- ☆11Feb 15, 2022Updated 4 years ago
- FMCS: the Flavors Meta-Class System for Common Lisp and alternative to CLOS+MOP, restored from the CMU AI Repository☆12Aug 31, 2023Updated 2 years ago
- SQL Mapping Framework for Common Lisp☆10Feb 7, 2026Updated last week
- An Emacs 24 theme with the Answer to The Ultimate Question of Life, the Universe, and Everything... well. ok, perhaps not ( crib-sheet : …☆14Mar 24, 2013Updated 12 years ago
- ☆11Jun 24, 2021Updated 4 years ago
- A clib package for the makeheaders command http://www.hwaci.com/sw/mkhdr/☆13Dec 11, 2014Updated 11 years ago
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆14May 26, 2025Updated 8 months ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- ☆13Nov 11, 2024Updated last year
- A CLOS implementation of an in memory hypergraph database and semantic networks.☆11Feb 16, 2021Updated 5 years ago
- Common Lisp metaclass adding support for slot validation☆11Mar 31, 2025Updated 10 months ago
- Packaging for Eask CLI☆10Updated this week
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Nov 14, 2024Updated last year
- HTTP request lib for Emacs built on curl with flexible callback dispatch☆14Mar 17, 2025Updated 10 months ago
- Decode and print process signal masks, given a process id on Linux.☆11Sep 14, 2025Updated 5 months ago
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- An (incomplete) Common Lisp implementation of the iCalendar RFC5545 specification.☆14Apr 19, 2019Updated 6 years ago
- Mess up web3 with React☆13Dec 7, 2022Updated 3 years ago