Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
☆29Feb 16, 2022Updated 4 years ago
Alternatives and similar repositories for conceptual-mathematics
Users that are interested in conceptual-mathematics are comparing it to the libraries listed below
Sorting:
- A Nix flake for developing and working with Nordic Semiconductor hardware☆13Sep 1, 2023Updated 2 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Dec 6, 2016Updated 9 years ago
- Solutions to the annual Advent calendar of programming puzzles☆12Jan 2, 2026Updated 2 months ago
- Examples of how to Generate Schematics from SystemVerilog Synthesis Tools☆22Dec 22, 2023Updated 2 years ago
- Notes of various papers regaridng free monads and extensible effects☆20Oct 10, 2019Updated 6 years ago
- The Princess Theorem Prover☆33Feb 17, 2026Updated 2 weeks ago
- ☆16Dec 3, 2024Updated last year
- Microprocessor 2 Lab Template☆11Apr 29, 2024Updated last year
- A webapp for developing and sharing Alloy models☆27Feb 20, 2026Updated last week
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆36Oct 4, 2025Updated 5 months ago
- Documenting HMRC design patterns☆32Jan 31, 2024Updated 2 years ago
- Proofs and exercises from "Elements of Programming" by Stepanov (author of C++ STL) and McJones☆29Jul 29, 2017Updated 8 years ago
- Resize icon for STM32Cube IDE ( toolbar )☆12Sep 23, 2021Updated 4 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- Modeling DNS with Alloy☆37Dec 6, 2021Updated 4 years ago
- Neural Networks and Deep Learning☆33Dec 9, 2023Updated 2 years ago
- ARCHIVED - Materials for running a Team-Based Inquiry Learning linear algebra course☆10Jul 30, 2024Updated last year
- ☆12Aug 29, 2022Updated 3 years ago
- ICD - Interface Control Document Management☆13Sep 7, 2025Updated 5 months ago
- TOON as DSPy adapter☆25Feb 1, 2026Updated last month
- a tui ssh app framework for rust☆16Updated this week
- ☆10Jan 12, 2026Updated last month
- My personal competitive programming repository.☆10Apr 12, 2020Updated 5 years ago
- newtype and refinement (refined) type for Scala 3☆14Feb 25, 2026Updated last week
- benchmarking e-graph extraction☆50Feb 2, 2026Updated last month
- This javascript webapp converts GLSL code from shadertoy.com to Gamemaker GLSL ES as well as output other necessary code to run.☆12Jul 10, 2025Updated 7 months ago
- ☆13Updated this week
- Code for the Bavarian R2 Builders' Droid Control System, consisting of dual miniature multi-axis remote controls and a droid control boar…☆16Feb 23, 2026Updated last week
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated last year
- ☆11Nov 28, 2025Updated 3 months ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- This repository contains Reinforcement Learning (RL) environments for the Upkie robot.☆23Feb 23, 2026Updated last week
- ☆10Jun 9, 2016Updated 9 years ago
- Complete software package for the Iris Lunar Rover (CMU).☆16Feb 23, 2026Updated last week
- Tool to generate Android build system files (Android.mk, Android.bp) from APK automatically.☆10Nov 1, 2021Updated 4 years ago
- Project template for wafer.space MPW runs using the gf180mcu PDK☆22Jan 23, 2026Updated last month
- A simple LED sequencer based Graduation Cap☆13Jul 16, 2022Updated 3 years ago
- A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic☆44Jan 5, 2026Updated 2 months ago