AdrianDoM / path-test

Related projects ⓘ

Alternatives and complementary repositories for path-test

• bakkot / cfgrammar-tool
  Work with context-free grammars. Parsing, string generation, and manipulation.
  ☆45Updated 2 years ago
• alexanderwasey / stupid-computer
  A understandable Haskell tracer.
  ☆14Updated 2 years ago
• isidentical-archive / Arkhe
  Universal, Register-based Virtual Machine
  ☆11Updated 5 years ago
• JetBrains / Arend
  The Arend Proof Assistant
  ☆694Updated this week
• readevalprint / sneklang
  A sandboxed Python subset for safe evaluation
  ☆32Updated 2 years ago
• bmispelon / django-walrus
  What do you get when you cross a pony and a walrus?
  ☆18Updated 8 months ago
• vikasuy / pyxl
  A Python extension for writing structured and reusable inline HTML.
  ☆52Updated 9 years ago
• thesephist / h12y
  The email service for when just "hey.com" isn't enough.
  ☆148Updated 3 years ago
• berkerpeksag / notes
  ☆54Updated 2 years ago
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆366Updated 5 months ago
• gsemet / pipenv-to-requirements
  Generate requirements[-dev].txt from Pipfile using pipenv
  ☆59Updated last year
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆435Updated last year
• mesuutt / python-chunked-upload-example
  Resumable chunked file upload via Rest API
  ☆23Updated 5 months ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆650Updated this week
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆234Updated 2 years ago
• neldredge / mathgen
  Generate random nonsense math papers
  ☆566Updated 4 years ago
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆343Updated last week
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆431Updated this week
• google / sre_yield
  Python module to generate regular all expression matches
  ☆187Updated this week
• amitu / django-encrypted-id
  Encrypted IDs for Django Models
  ☆32Updated last year
• wesleylima / django-rest-framework-firebase
  Use Firebase to authenticate requests to your Django Rest Framework project
  ☆32Updated 5 years ago
• plainas / flask-swagger-types
  A swagger spec generator and type checker for flask
  ☆28Updated last year
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆292Updated 8 months ago
• formalabstracts / formalabstracts
  ☆159Updated 5 years ago
• cedille / cedille
  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
  ☆368Updated last year
• Gabriella439 / simple-twitter
  A bare-bones Twitter clone implemented in a single file
  ☆725Updated 3 years ago