dsa-ou / allowedLinks
Check if a program only uses a subset of the Python language.
☆12Updated last week
Alternatives and similar repositories for allowed
Users that are interested in allowed are comparing it to the libraries listed below
Sorting:
- A complete guide of how to upload your package to PyPi and make it installable using pip☆13Updated 3 months ago
- Access to all MiniZinc functionality directly from Python☆160Updated last month
- PowerToys for Jupyter notebooks in VS Code☆79Updated last month
- My attempts at solving some of the excellent puzzles at adventofcode.com☆30Updated 4 months ago
- Constraint Solving Problem resolver for Python☆476Updated last week
- Personal template for most python projects.☆17Updated last week
- The Lean version manager☆382Updated last week
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆10Updated 2 weeks ago
- ☆243Updated 2 weeks ago
- Demo project for YOLO implementation with Rust and WASM☆9Updated last year
- Selected Solutions to Dummit and Foote's Abstract Algebra Third Edition☆36Updated 4 years ago
- Speed up your Python with Rust, published by Packt☆163Updated 2 years ago
- Hands-on course about linear programming and mathematical optimization.☆97Updated 2 years ago
- Easily install and update centralized pre-commit hooks and their configuration files in decentralized repositories.☆12Updated this week
- Open source Scientific Word (from MacKichan Software, Inc.)☆51Updated 3 years ago
- A place for automata☆73Updated last week
- The Monorepo for Runestone Academy servers and interactives☆54Updated this week
- Example of building Sphinx docs to GitHub Pages☆53Updated 3 years ago
- Rust library bindings to the Gurobi optimiser.☆21Updated 4 months ago
- Gone are the days of black-box dataframes in otherwise type-safe code! Pandantic builds off the Pydantic API to enable validation and fil…☆62Updated last month
- A database with many Manim users and content creators☆358Updated last month
- Embedding Pointful Array Programming in Python☆17Updated 8 months ago
- An implementation of AlphaZero for the board game Tak☆12Updated 2 years ago
- ☆514Updated 2 weeks ago
- A Python library for simulating and visualizing finite automata☆67Updated this week
- Visual Studio Code extension for the Lean 4 proof assistant☆214Updated this week
- Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…☆331Updated 2 months ago
- The user home repository for the Mathematics in Lean tutorial.☆359Updated this week
- Unified handling of configuration files in Python☆17Updated 3 years ago
- Placeholder repository for community contributions to pyscript☆62Updated 11 months ago