HankelBao / PyPseLinks
A compiler for Pseudocode written in python
☆14Updated 6 years ago
Alternatives and similar repositories for PyPse
Users that are interested in PyPse are comparing it to the libraries listed below
Sorting:
- Programmable, human-readable inlining of Python code☆28Updated 3 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- A programming language.☆21Updated 8 years ago
- A multi-cursor structural editor prototype for TypeScript☆60Updated 2 years ago
- QuantumSheet - A user friendly mathematics worksheet and solver☆59Updated 3 years ago
- Language-agnostic parsing of World of Code repositories☆21Updated 2 years ago
- WebAssembly interpreter in RPython☆66Updated 6 years ago
- Python type hints are Turing complete.☆33Updated 3 years ago
- Types for Python☆87Updated 7 years ago
- An LR(1) parser generator, implemented as a proc macro☆16Updated 2 years ago
- ☆36Updated 6 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆47Updated 11 years ago
- EPIC CUCUMBERS!☆27Updated 8 years ago
- A dynamic language inspired by Python and E.☆79Updated 5 years ago
- The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety…☆147Updated last month
- Python ported to WebAssembly☆50Updated 3 years ago
- A virtual machine for Monte.☆68Updated 3 months ago
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆72Updated 2 years ago
- Rust library for program synthesis of string transformations from input-output examples 🔮☆28Updated last year
- A (parametrized) Rust SAT solver originally based on MiniSat☆32Updated last year
- Live port of Lark's standalone parser to Javascript☆87Updated last year
- yk packages☆39Updated this week
- The Pika Parser reference implementation☆148Updated last month
- Standalone ASDL parser for upstream CPython 3.x☆62Updated 7 years ago
- program synthesis is possible☆40Updated 6 years ago
- A POSIX system using WebAssembly's software fault isolation☆73Updated 6 years ago
- *experimental* wasm micropython port *not a fork* for Pythons Everywhere☆38Updated 5 years ago
- Kaleidoscope using Python and llvmlite☆32Updated 9 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- pylibjit, a Python library for compiling Python functions☆19Updated 5 years ago