Xython / wisepy2
The most simplest and super efficient command line tools, distributed in solely one file.
☆10Updated 2 years ago
Alternatives and similar repositories for wisepy2:
Users that are interested in wisepy2 are comparing it to the libraries listed below
- end the parsing problem☆39Updated 2 years ago
- a VSCode plugin to provide basic language support for DianaScript☆10Updated 3 years ago
- A compiler for higher rank ML with type classes☆13Updated 4 years ago
- ☆18Updated 3 years ago
- Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.☆16Updated 3 years ago
- An amazing syntax extension system in pure Python, the way to coding efficiency.☆108Updated 3 years ago
- Fully compatible CPython jit compiler. Optimising Dynamic, Interpreted, and Object-oriented(DIO) programs.☆116Updated 3 years ago
- A chance to focus on graph drawing itself, forget APIs and other stuffs.☆38Updated 2 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- Julia implementation for Python Restrain JIT☆22Updated 3 years ago
- full-featured pattern-matching in python, however it's more likely to be dynamic contracts.☆17Updated 6 years ago
- A cat, sitting on a wall, near an Xmas tree, is gazing picturesque starry night.☆22Updated 2 years ago
- An IR for Python VM, provided with indirect jump instructions.☆19Updated 5 years ago
- my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice☆9Updated 4 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- 用作文档目的,翻译方式见 Issue #10☆41Updated 5 years ago
- ☆27Updated last month
- A better Python. It is also a template for you to create a superset of Python.☆54Updated last year
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 4 years ago
- The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as record…☆14Updated 5 years ago
- VSCode extension for the Arend language☆11Updated last year
- old cicada attempt in rs☆3Updated last year
- 📝Dot language kernel for jupyter.☆91Updated 8 months ago
- autojump implementation that is applicable to any shell and any OS☆10Updated 2 years ago
- Quixote is a framework for writing Web-based applications using Python☆87Updated last week
- Server for github-readme-stats☆14Updated 2 years ago
- Try https://shibuya.lepture.com/☆64Updated last year
- A work-in-progress structure editor for the cooltt proof assistant.☆18Updated 2 years ago
- A coroutine-based alternative implementation of the posix thread☆34Updated 4 years ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago