madvorak / fecsskView external linksLinks
Formalisms Every Computer Scientist Should Know (course at ISTA)
☆15Feb 8, 2024Updated 2 years ago
Alternatives and similar repositories for fecssk
Users that are interested in fecssk are comparing it to the libraries listed below
Sorting:
- RFCs for Cedar☆19Jan 22, 2026Updated 3 weeks ago
- An MVC library for writing interactive webpages in OCaml☆35Jan 23, 2015Updated 11 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Jun 7, 2021Updated 4 years ago
- A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪☆25Jan 23, 2026Updated 3 weeks ago
- My solutions to Tao's Analysis I, formalized in Lean☆42Sep 23, 2025Updated 4 months ago
- Plan✕ is a platform for creating and publishing digital planning services☆17Updated this week
- ☆34Oct 1, 2024Updated last year
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated this week
- Codes for MICCAI 2021 Paper: Selective Learning from External Data for CT Image Segmentation☆12Oct 10, 2021Updated 4 years ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Jan 5, 2026Updated last month
- Body Sensor Network (BSN): a prototype for exercising dependable adaptation in healthcare domain.☆13May 8, 2024Updated last year
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- Python platform for parallel Surrogate-Based Optimization☆12Nov 27, 2024Updated last year
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- ☆15Sep 7, 2025Updated 5 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Direct transcription of an optimal control problem and resolution☆12Feb 7, 2026Updated last week
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- ☆10Aug 20, 2024Updated last year
- Docker container for GlobalProtect VPN connection☆14Feb 11, 2025Updated last year
- A scalable error-friendly factories for your Elixir apps☆10Oct 13, 2020Updated 5 years ago
- Lean coding problem solving challenge website with proof verification☆12Jul 8, 2025Updated 7 months ago
- LLM plugin to generate plugins for LLM☆13Dec 30, 2024Updated last year
- A regular expression parser written in JavaScript☆10Feb 24, 2021Updated 4 years ago
- Driver for coupled AMR-Wind/Nalu-Wind simulations☆13Nov 10, 2025Updated 3 months ago
- Given a Substack newsletter, save the contents into an sqlite db and format it as an epub☆13Jan 11, 2024Updated 2 years ago
- Relational Features for Planning☆14Jan 15, 2026Updated 3 weeks ago
- A low-cost ROS navigation-enabled mobile robot platform☆12Jul 15, 2018Updated 7 years ago
- Metamath logic game☆10Apr 16, 2025Updated 9 months ago
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 6 months ago
- ACE (Adaptive Code Evolution) is an AI-powered system for code analysis and optimization.☆12Nov 4, 2025Updated 3 months ago
- flash loan on EOS network☆11Apr 10, 2020Updated 5 years ago
- Some solutions to the Dummit & Foote abstract algebra textbook☆13Oct 26, 2015Updated 10 years ago
- [ICML2025] Official codebase for "TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching"☆17Jul 14, 2025Updated 7 months ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 4 years ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated 8 months ago
- Moved to Codeberg☆10Jan 10, 2026Updated last month
- Leprechaun Game wrote in Elixir☆12Nov 3, 2023Updated 2 years ago