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 last month
- 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 last month
- My solutions to Tao's Analysis I, formalized in Lean☆42Sep 23, 2025Updated 5 months ago
- Plan✕ is a platform for creating and publishing digital planning services☆17Updated this week
- A formalization of continuation-passing style calculi in Coq [WIP]☆38Updated this week
- ☆34Oct 1, 2024Updated last year
- 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…☆11Feb 25, 2026Updated last week
- Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.☆39Feb 15, 2026Updated 2 weeks ago
- Python platform for parallel Surrogate-Based Optimization☆12Nov 27, 2024Updated last year
- Body Sensor Network (BSN): a prototype for exercising dependable adaptation in healthcare domain.☆13May 8, 2024Updated last year
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- Direct transcription of an optimal control problem and resolution☆12Feb 27, 2026Updated last week
- ☆24Feb 18, 2026Updated 2 weeks ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- EmotionCircuits-LLM: A complete, reproducible framework for discovering and controlling emotion circuits in large language models.☆25Oct 20, 2025Updated 4 months ago
- ☆15Sep 7, 2025Updated 5 months ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Relational Features for Planning☆14Feb 18, 2026Updated 2 weeks ago
- Site da Guilda feito com Elixir e Phoenix LiveView.☆10Feb 23, 2023Updated 3 years ago
- Design specification language for rapid, comprehensive system modeling.☆19Updated this week
- ☆40Updated this week
- Some solutions to the Dummit & Foote abstract algebra textbook☆13Oct 26, 2015Updated 10 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 7 months ago
- Unbound data structures in Ada-Spark.☆13Feb 6, 2022Updated 4 years ago
- ☆16Jan 29, 2026Updated last month
- Find bottlenecks in your test suites☆17Feb 23, 2026Updated last week
- TheDeepChecker: Dynamic Debugger for Neural Networks Training Programs☆10Nov 2, 2022Updated 3 years ago
- ☆14Feb 26, 2026Updated last week
- flash loan on EOS network☆11Apr 10, 2020Updated 5 years ago
- Formalising lecture notes from 1st year Imperial Mathematics course.☆14May 18, 2020Updated 5 years ago
- [kept for historical reasons, see efene] a calculator implemented in erlang that will turn into a toy language if I have time☆16Oct 24, 2009Updated 16 years ago
- ☆10Aug 20, 2024Updated last year
- Moved to Codeberg☆10Jan 10, 2026Updated last month
- ☆10Nov 6, 2024Updated last year