Krasjet / karasuLinks
A self-hosted remote communication system designed for math discussions.
☆40Updated 4 years ago
Alternatives and similar repositories for karasu
Users that are interested in karasu are comparing it to the libraries listed below
Sorting:
- A compiler for higher rank ML with type classes☆13Updated 4 years ago
- Libraries and tools for topological and geometric modeling.☆18Updated 2 months ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated 2 months ago
- Diana... 🥳🥳🥳Diana, suki🤤🤤🤤☆11Updated 3 years ago
- ☆18Updated 3 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated this week
- AStyle code formatter compiled to WebAssembly, for Node.js and the browser.☆19Updated last year
- Julia implementation for Python Restrain JIT☆22Updated 4 years ago
- Very Naive MIPS CPU using Clash☆29Updated 3 years ago
- ☆14Updated 7 months ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 4 years ago
- A general purpose relational language☆19Updated 5 years ago
- 第三次重构!☆16Updated 4 years ago
- A toy IO library for Arend☆18Updated 4 years ago
- A Type System Attempt for Wolfram Language☆13Updated 4 years ago
- This repo contains the source code for https://pest.rs☆13Updated 2 months ago
- Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.☆16Updated 4 years ago
- Yet another python JIT.☆20Updated 2 years ago
- Original posting, a.k.a. OP, is an ALL-IN-ONE markup language for cyber wizards to create documentations and blog pages.☆12Updated 2 years ago
- my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice☆9Updated 5 years ago
- Rust crate which compiles minisat and provides an interface (C/C++ compiler required)☆11Updated 3 years ago
- My type-ups for copilot to learn from.☆11Updated 2 years ago
- A text rendering utility☆11Updated 9 months ago
- A high-performance chemical equation parser and balancer☆25Updated 2 years ago
- Rust BF interpreters☆12Updated last year
- Lean4 backend using `libgccjit`!☆11Updated last year
- old cicada attempt in rs☆3Updated last year
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- A type-driven and high-performance ORM framework in Rust☆25Updated 3 years ago
- VSCode extension for the Arend language☆11Updated 2 years ago