☆20Mar 21, 2017Updated 9 years ago
Alternatives and similar repositories for coq-software-foundations
Users that are interested in coq-software-foundations are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Exercises from https://softwarefoundations.cis.upenn.edu/lf-current/index.html☆10Dec 30, 2018Updated 7 years ago
- My solutions to Software Foundations course in Coq proof assistant.☆44May 15, 2026Updated last month
- ☆17Jun 30, 2015Updated 11 years ago
- ☆10Sep 7, 2016Updated 9 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Jun 2, 2025Updated last year
- 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.
- The KEGGgraph package to parse KEGG pathways in R into graph objects☆16Apr 14, 2025Updated last year
- ☆16Apr 10, 2024Updated 2 years ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Mar 16, 2024Updated 2 years ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Nov 13, 2025Updated 7 months ago
- [ICLR 2021: Spotlight] Source code for the paper "A Panda? No, It's a Sloth: Slowdown Attacks on Adaptive Multi-Exit Neural Network Infer…☆14Feb 16, 2022Updated 4 years ago
- Program Specification in Lean 4☆25Jan 15, 2024Updated 2 years ago
- Implementation of TABOR: A Highly Accurate Approach to Inspecting and Restoring Trojan Backdoors in AI Systems (https://arxiv.org/pdf/190…☆19Apr 13, 2023Updated 3 years ago
- A minimalistic MVC framework , for real PHP developers, by real PHP developers.☆11Nov 28, 2023Updated 2 years ago
- OpenGL bindings for Crystal☆15Nov 27, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Experimenting with audio visualizations and particle systems in OpenGL☆19Nov 26, 2021Updated 4 years ago
- BulkFormer: A large-scale foundation model for human bulk transcriptomes☆65Updated this week
- Demo code accompanying the CQRS on Azure MSDN Magazine article☆30Jul 2, 2011Updated 15 years ago
- Wireframe-Based UI Design Search Through Image Autoencoder☆15Jan 3, 2024Updated 2 years ago
- sage-notebook is a community maintained Jupyter Docker Stack image with the sagemath kernel.☆16Jan 17, 2020Updated 6 years ago
- GNU Scientific Library bindings for Crystal☆22Dec 7, 2022Updated 3 years ago
- Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.☆21May 4, 2014Updated 12 years ago
- Tutorial for using the perturbseq library to load and manipulate experiments☆24Aug 7, 2019Updated 6 years ago
- Generates .h and .cpp from unseparated .cpp☆19Aug 22, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.☆21May 22, 2019Updated 7 years ago
- Rebuild YatSenOS On RISC-V 64.☆23Jan 6, 2022Updated 4 years ago
- Adds the humanize method to reports the approximate distance in time between two Time. humanize supports i18n translations too so it can …☆26Jun 29, 2026Updated last week
- Lambda calculus parser in Haskell☆14Updated this week
- Small implementation of OutsideIn(X) type checking algorithm☆31Apr 13, 2015Updated 11 years ago
- A module for the Magic Mirror to display tweets from a user's timeline or list.☆14Apr 1, 2020Updated 6 years ago
- ☆11Jun 1, 2019Updated 7 years ago
- ☆20Sep 27, 2024Updated last year
- A framework for developing macOS apps with a GUI using Crystal☆18Apr 24, 2019Updated 7 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.
- A pytorch implementation of "Adversarial Examples in the Physical World"☆18Sep 4, 2019Updated 6 years ago
- A small Coq library for collecting side conditions and deferring their proof☆26Oct 14, 2019Updated 6 years ago
- A Python code for generating k-mer features for a set of DNA/ genomic sequences.☆32Jul 27, 2024Updated last year
- ☆22Jul 6, 2019Updated 7 years ago
- Easily cache Open Weather Map API calls, and string multiple free accounts together.☆14Dec 10, 2022Updated 3 years ago
- Interactive development environment and runner for Advent of Code challenges☆26Nov 30, 2023Updated 2 years ago
- A lambda calculus interpreter in Python☆20Mar 4, 2021Updated 5 years ago