april-cools / april-cools.github.ioLinks
April Cools' Club website
☆17Updated 10 months ago
Alternatives and similar repositories for april-cools.github.io
Users that are interested in april-cools.github.io are comparing it to the libraries listed below
Sorting:
- Compiler for the M language, used to compute the income tax of French taxpayers☆198Updated 2 weeks ago
- A Low Barrier Proof Assistant☆153Updated last week
- Learn TLA+ for free! No prior experience necessary!☆236Updated last month
- 🕵️ File browser for distributions on PyPI☆113Updated last week
- ☆19Updated 5 years ago
- Some experiments in making exercises for teaching TLA+☆19Updated 9 months ago
- A very minimal implementation of the core idea of Hypothesis☆143Updated last year
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆270Updated this week
- Esoteric language for programmers who want to investigate whether or not they and everything they know in their world is actually real.☆18Updated 5 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Declarative instrumentation for Python.☆102Updated 2 weeks ago
- ☆24Updated 4 months ago
- A GitHub Action for pip-audit☆84Updated this week
- Metamath Zero specification language☆373Updated last month
- Code for the series "Searching for Riemann Hypothesis Counterexamples"☆21Updated 2 years ago
- Structural Source Code Search Engine☆45Updated 2 weeks ago
- Creation & manipulation of PyPI tokens☆12Updated this week
- Python interpreter for TLA+ specifications☆116Updated last year
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆368Updated last week
- uberjob is a Python package for building and running call graphs.☆31Updated last year
- This is a repository of vulnerability advisories for projects in scope for the Python Software Foundation CVE Numbering Authority (CNA)☆41Updated this week
- A guide on coordinated vulnerability disclosure for open source projects. Includes templates for security policies (security.md) and disc…☆141Updated 2 years ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Updated last year
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆24Updated this week
- interactive math, intuitively☆40Updated 8 months ago
- ☆86Updated 8 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆277Updated this week
- MVP for updated PEP 543 proposal☆14Updated 2 months ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆303Updated last year
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆833Updated last year