Alternatives and similar repositories for allowed

Users that are interested in allowed are comparing it to the libraries listed below

• Aalto-LeTech / aplus-courses
  A+ Courses is a plugin for IntelliJ IDEA, used in programming courses at Aalto University
  ☆17Updated this week
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆373Updated 3 weeks ago
• ljrk0 / c_kurs_folien
  ☆11Updated 5 years ago
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆68Updated 2 weeks ago
• leanprover-community / batteries
  The "batteries included" extended library for the Lean programming language and theorem prover
  ☆311Updated this week
• cgnieder / cnltx
  ☆11Updated 3 years ago
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆265Updated this week
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆161Updated 2 months ago
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆218Updated 2 weeks ago
• buff0000n / dojocad
  Dojo planner/builder for Warframe
  ☆31Updated 10 months ago
• simon-pfahler / colorblind
  Easy colorblind-safe typesetting in LaTeX
  ☆9Updated 6 months ago
• rohaquinlop / automathon
  A Python library for simulating and visualizing finite automata
  ☆66Updated 3 weeks ago
• c-ding-math / functor-network
  a blog platform for mathematicians
  ☆17Updated 2 weeks ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆191Updated this week
• z-edit / zedit
  An integrated development environment for Bethesda Plugin Files.
  ☆310Updated 5 months ago
• ForloopAI / forloop
  Forloop.ai platform - package containing public API commands
  ☆65Updated last year
• ConSol-Lab / Pumpkin
  A lazy clause generation constraint solver written in Rust.
  ☆30Updated this week
• leanprover-community / lean4game
  Server to host lean games.
  ☆278Updated this week
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆292Updated last week
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆220Updated last month
• Taludas / GameplayModsCollection
  This is a collection of my standalone gameplay mods for Anno 1800, bringing new features to the game or modifying existing ones.
  ☆12Updated last month
• ScientificWord / sciword
  Open source Scientific Word (from MacKichan Software, Inc.)
  ☆51Updated 3 years ago
• pedal-edu / pedal
  A collection of tools to analyze student's Python source code
  ☆31Updated 6 months ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆153Updated last week
• surajx / proof-assistant
  Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…
  ☆11Updated 7 years ago
• Jumaruba / LPL-solutions
  Solutions for the book "Language Proof and Logic".
  ☆75Updated 10 months ago
• BESSER-PEARL / B-OCL-Interpreter
  B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…
  ☆22Updated last week
• aedenthorn / StardewValleyMods
  ☆104Updated this week
• Mutagen-Modding / Spriggit
  A tool to facilitate converting Bethesda plugin files to a text based format that can be stored in Git
  ☆98Updated last week
• drgrice1 / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆25Updated 5 months ago