Fill this form if you want to be added as a collaborator: https://forms.gle/izyH27vehCq7jom48
☆20Apr 28, 2024Updated last year
Alternatives and similar repositories for Sem4
Users that are interested in Sem4 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- could it be?☆18Jul 11, 2025Updated 8 months ago
- The ADUni course material, and extra info.☆14Sep 17, 2011Updated 14 years ago
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆31Mar 3, 2026Updated 3 weeks ago
- Very small examples of TLA+ features.☆42Apr 14, 2019Updated 6 years ago
- Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch…☆41Sep 17, 2025Updated 6 months ago
- Distributors - Unifying Parsers, Printers & Grammars☆64Mar 6, 2026Updated 2 weeks ago
- A library that makes it nicer to work with nested functional data structures☆61Jan 15, 2026Updated 2 months ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆171Mar 22, 2021Updated 5 years ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆378Nov 5, 2025Updated 4 months ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,520Mar 17, 2026Updated last week
- A categorized list of C++ resources.☆5,219Updated this week
- List of Computer Science courses with video lectures.☆77,327Mar 9, 2026Updated 2 weeks ago
- Educational blog posts for Rust beginners☆8,329Feb 17, 2025Updated last year
- A markup-based typesetting system that is powerful and easy to learn.☆52,194Updated this week
- Small exercises to get you used to reading and writing Rust code!☆62,220Mar 17, 2026Updated last week
- Some useful websites for programmers.☆75,856Sep 16, 2025Updated 6 months ago
- A book series (2 published editions) on the JS language.☆184,533Feb 15, 2026Updated last month
- Interactive roadmaps, guides and other educational content to help developers grow in their careers.☆351,428Updated this week
- Smaller SMD version of Sergey Kiselev's Micro 8088 SBC, with XT-CF added☆16Jun 6, 2019Updated 6 years ago
- A resource for alternatives to popular Adobe software.☆23Dec 4, 2022Updated 3 years ago
- 基于bpmn.js与React结合的案例。实现小地图、元素属性修改、导入导出、视图控制。在线预览https://link-kou.github.io/React-bpmn☆21Jan 26, 2023Updated 3 years ago
- Unofficial Tensorflow/Keras implementation of Google AI VoiceFilter☆16Mar 25, 2023Updated 2 years ago
- Sun::Kstat perl module for linux-zfs☆20Aug 16, 2013Updated 12 years ago
- mold: A Modern Linker 🦠☆16,304Mar 4, 2026Updated 2 weeks ago
- [Pytorch] Code for Paper “SigDA: A Superimposed Domain Adaptation Framework for Automatic Modulation Classification”☆34Jun 20, 2024Updated last year
- Compares two equal-sized byte strings in constant time.☆46Dec 20, 2025Updated 3 months ago
- ☆1,223Feb 7, 2024Updated 2 years ago
- Orphan instances for binary☆12Jan 5, 2025Updated last year
- A modern runtime for JavaScript and TypeScript.☆106,388Updated this week
- MirageOS unikernel to test networking☆16Apr 3, 2023Updated 2 years ago
- Estimation in sharp Difference-in-Difference designs with multiple groups and periods☆20Oct 29, 2020Updated 5 years ago
- TCA9548A library for Arduino devices (supports multiple channels).☆24May 11, 2021Updated 4 years ago
- High-Dimensional Undirected Graph Estimation☆13Jan 10, 2024Updated 2 years ago
- A Wrapper To Retrieve Data From The CrowdTangle API☆19Jul 15, 2021Updated 4 years ago
- Simple golang library for retry mechanism☆2,902Feb 12, 2026Updated last month
- Randomized overdrive neural networks☆147Jul 25, 2024Updated last year
- Windows Privilege Escalation from User to Domain Admin.☆1,452Dec 18, 2022Updated 3 years ago
- Benchmark of different RL algorithm☆13Dec 8, 2022Updated 3 years ago
- Formal Reasoning About Programs☆728Dec 7, 2025Updated 3 months ago