Krasjet / karasu
A self-hosted remote communication system designed for math discussions.
☆39Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for karasu
- Libraries and tools for topological and geometric modeling.☆19Updated 4 years ago
- Julia implementation for Python Restrain JIT☆22Updated 3 years ago
- A text rendering utility☆10Updated 3 months ago
- ☆18Updated 3 years ago
- https://thautwarm.github.io/Site-33/☆10Updated 4 months ago
- Diana... 🥳🥳🥳Diana, suki🤤🤤🤤☆11Updated 3 years ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- Functional Template☆9Updated 7 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 2 years ago
- A toy IO library for Arend☆18Updated 3 years ago
- A compiler for higher rank ML with type classes☆13Updated 4 years ago
- An IR for Python VM, provided with indirect jump instructions.☆19Updated 4 years ago
- Decode DVI files generated by LuaTeX☆10Updated last year
- type-system, revised unification algorithm and runtime time representations☆14Updated 4 years ago
- Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.☆16Updated 3 years ago
- my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice☆9Updated 4 years ago
- Functional Reactive Animation Drawing Environment☆9Updated 7 years ago
- Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆15Updated 2 months ago
- modern implementation of real goto/label statements in python 3.5+.☆12Updated 3 years ago
- a VSCode plugin to provide basic language support for DianaScript☆10Updated 3 years ago
- Python module for composing computations☆26Updated last year
- Purely functional data structures in Koka☆9Updated 3 years ago
- A Type System Attempt for Wolfram Language☆12Updated 3 years ago
- VSCode extension for the Arend language☆11Updated last year
- ☆13Updated 3 weeks ago
- Multiple Dispatch in Rust☆20Updated 5 years ago
- The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as record…☆14Updated 4 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- Xy-pic extension for MathJax☆61Updated 3 years ago