☆36Sep 12, 2019Updated 6 years ago
Alternatives and similar repositories for Typpete
Users that are interested in Typpete are comparing it to the libraries listed below
Sorting:
- A simple example of creating a package and using it in another package with subclassing starting with shrubbery and landscaping.☆10Apr 5, 2018Updated 7 years ago
- File mapping☆13Dec 14, 2023Updated 2 years ago
- type-system, revised unification algorithm and runtime time representations☆14Dec 12, 2019Updated 6 years ago
- Use features of rejected PEPs☆11Oct 11, 2019Updated 6 years ago
- Arguments parsing without boilerplate.☆15Dec 8, 2022Updated 3 years ago
- A VS Code extension help you explore CPython internals☆15Mar 3, 2023Updated 3 years ago
- Python 3 AST unparser with type comments support.☆31Oct 24, 2019Updated 6 years ago
- ☆15Jul 13, 2019Updated 6 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- A runtime DSL parser generator for python.☆18May 17, 2016Updated 9 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Jun 2, 2020Updated 5 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Apr 26, 2019Updated 6 years ago
- An SMT Solver for strings☆10Jun 22, 2018Updated 7 years ago
- An IR for Python VM, provided with indirect jump instructions.☆19Jan 23, 2020Updated 6 years ago
- The first and yet the only CPython compatible Python JIT, over the world.(julia backend: https://github.com/thautwarm/RestrainJIT.jl)☆107Dec 9, 2019Updated 6 years ago
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Apr 13, 2019Updated 6 years ago
- pytest plugin to run pydocstyle☆14Oct 9, 2024Updated last year
- Rust Bindings to interact with SMTLIB2 compliant solvers☆17Jun 3, 2019Updated 6 years ago
- fork of https://bitbucket.org/haypo/aiogevent☆14Oct 15, 2021Updated 4 years ago
- Code-regrouping to reduce latency in Julia code compilation☆15Mar 11, 2022Updated 3 years ago
- easy-to-use wrapper for OCaml's Dynlink☆16Jan 9, 2017Updated 9 years ago
- A PureScript's CoreImp AST for transpiling into dynamically typed languages☆15Oct 22, 2020Updated 5 years ago
- Ask for solutions.☆19Aug 5, 2019Updated 6 years ago
- An unofficial, importable pip API☆119Feb 27, 2026Updated last week
- A package for your code to understand scoping rules(including mutability of free variables).☆18Dec 10, 2021Updated 4 years ago
- QR code library in pure Haskell☆22Feb 4, 2026Updated last month
- OCaml bindings for the Orx game engine☆51Oct 10, 2022Updated 3 years ago
- Cunning tricks though the julia compiler internals☆87Nov 2, 2025Updated 4 months ago
- ☆17Aug 11, 2022Updated 3 years ago
- A Python bytecode compiler and bytecode generator.☆23May 10, 2014Updated 11 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Feb 6, 2020Updated 6 years ago
- write markdown inside of docutils & sphinx projects☆20Jul 13, 2023Updated 2 years ago
- ☆23Sep 28, 2021Updated 4 years ago
- A handy tool to help design and parse your own language☆21Aug 13, 2022Updated 3 years ago
- ⌨️ Emacs Keymap inside Visual Studio Code.☆45Jun 22, 2023Updated 2 years ago
- A Python type checker☆379Jan 27, 2026Updated last month
- A simple static type checker that enforces C-style programming in Julia☆27Jan 15, 2025Updated last year
- Convenience functions missing in Julia☆24Sep 21, 2024Updated last year
- ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference☆23Mar 27, 2022Updated 3 years ago