☆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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Modal Logic Library in Coq☆16Apr 28, 2022Updated 3 years ago
- Mess up web3 with React☆13Dec 7, 2022Updated 3 years ago
- Benders Decomposition for SAHLP☆12Aug 17, 2023Updated 2 years ago
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- Examples using dependent types for mathematical proofs at the type level☆14Feb 27, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Papers We ❤️ Joinville☆14May 29, 2020Updated 5 years ago
- ☆10Dec 8, 2022Updated 3 years ago
- ☆13Nov 29, 2019Updated 6 years ago
- Picnic's solidity contracts. (formerly DeFi Basket)☆19May 19, 2025Updated 10 months ago
- Riemann Hypothesis in Lean☆43Mar 3, 2021Updated 5 years ago
- ☆45Updated this week
- ☆11Feb 15, 2022Updated 4 years ago
- ☆16Aug 6, 2025Updated 7 months ago
- A Henkin-style completeness proof for the modal logic S5☆17Jun 20, 2021Updated 4 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Yet another PostgreSQL driver☆13Oct 2, 2022Updated 3 years ago
- Mirage Queue is a library designed to provide the benefits of a message broker without introducing additional infrastructure dependencies☆10Updated this week
- Unofficial instructions for installing Puffin Internet Terminal (Puffin Browser) on Linux☆25Oct 6, 2023Updated 2 years ago
- Profile Solidity gas consumption line-wise.☆23Jun 1, 2021Updated 4 years ago
- Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.☆14Nov 14, 2024Updated last year
- This is a Coq formalization of Damas-Milner type system and its algorithm W.☆29Jul 4, 2020Updated 5 years ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆48Mar 25, 2022Updated 4 years ago
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆23Jul 7, 2023Updated 2 years ago
- ☆20Dec 9, 2020Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A domain specific language to define access policies.☆14Dec 1, 2021Updated 4 years ago
- Sidekiq extension providing a workflow API on top of Sidekiq Pro's batches☆28Apr 4, 2023Updated 2 years ago
- Material para Matemática Discreta☆10Jul 31, 2016Updated 9 years ago
- Toy programming language☆20May 18, 2024Updated last year
- F* library for verifying neural networks.☆17Mar 25, 2023Updated 3 years ago
- A Free-Software JavaScript Library made by people for the people!☆10Aug 1, 2020Updated 5 years ago
- A Radarr/Sonarr Telegram Bot featuring user authentication/level access.☆23May 7, 2020Updated 5 years ago
- GHCJS DOM Hello World, an example package☆10Apr 24, 2025Updated 11 months ago
- A small go tool to download roms from known emulator websites☆17Dec 3, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 🌎 Simple .NET implementation of JavaScript fetch API created following the ECMAScript language specification to achieve easy resource fe…☆12Jan 1, 2024Updated 2 years ago
- Contador de Pessoas Vacinadas na Magrathea☆22Oct 11, 2021Updated 4 years ago
- translate skyzh/mini-lsm to go version☆10Jun 7, 2023Updated 2 years ago
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 6 years ago
- This is the ual programming language☆29Feb 3, 2026Updated last month
- Wrapper of the OpenSSL elliptic curve functions for easy Python manipulation☆11Apr 30, 2014Updated 11 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Nov 19, 2017Updated 8 years ago