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

• MLanguage / mlang
  Compiler for the M language, used to compute the income tax of French taxpayers
  ☆198Updated 2 weeks ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆153Updated last week
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆236Updated last month
• pypi / inspector
  🕵️ File browser for distributions on PyPI
  ☆113Updated last week
• markshannon / python_formal_semantics
  ☆19Updated 5 years ago
• hwayne / tlaplus-exercises
  Some experiments in making exercises for teaching TLA+
  ☆19Updated 9 months ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆143Updated last year
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆270Updated this week
• davidnunez / I-AM
  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
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆216Updated 6 years ago
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆102Updated 2 weeks ago
• tyche-pbt / tyche-extension
  ☆24Updated 4 months ago
• pypa / gh-action-pip-audit
  A GitHub Action for pip-audit
  ☆84Updated this week
• digama0 / mm0
  Metamath Zero specification language
  ☆373Updated last month
• j2kun / riemann-divisor-sum
  Code for the series "Searching for Riemann Hypothesis Counterexamples"
  ☆21Updated 2 years ago
• reizio / reiz.io
  Structural Source Code Search Engine
  ☆45Updated 2 weeks ago
• ewjoachim / pypitoken
  Creation & manipulation of PyPI tokens
  ☆12Updated this week
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆116Updated last year
• newca12 / awesome-rust-formalized-reasoning
  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…
  ☆368Updated last week
• twosigma / uberjob
  uberjob is a Python package for building and running call graphs.
  ☆31Updated last year
• psf / advisory-database
  This is a repository of vulnerability advisories for projects in scope for the Python Software Foundation CVE Numbering Authority (CNA)
  ☆41Updated this week
• google / oss-vulnerability-guide
  A guide on coordinated vulnerability disclosure for open source projects. Includes templates for security policies (security.md) and disc…
  ☆141Updated 2 years ago
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated last year
• riceissa / aiwatch
  Website to track people, organizations, and products (tools, websites, etc.) in AI safety
  ☆24Updated this week
• explanaria / explanaria.github.io
  interactive math, intuitively
  ☆40Updated 8 months ago
• pytorch / expecttest
  ☆86Updated 8 months ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆277Updated this week
• trailofbits / tlslib.py
  MVP for updated PEP 543 proposal
  ☆14Updated 2 months ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆303Updated last year
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆833Updated last year