Multipurpose calculator with coalescing written in Rust
☆22Dec 29, 2019Updated 6 years ago
Alternatives and similar repositories for calculator
Users that are interested in calculator are comparing it to the libraries listed below
Sorting:
- Simply typed lambda calculus in cubical agda☆22Feb 22, 2020Updated 6 years ago
- A prototype of my proposed name resolution algorithm for Rust.☆13Nov 24, 2015Updated 10 years ago
- Numerical snippets & tests☆12Jan 5, 2026Updated last month
- A lambda calculus parser, evaluator and repl☆11Oct 30, 2021Updated 4 years ago
- Typed λ-calculus in Rust☆30Jun 27, 2023Updated 2 years ago
- Shiro - a declarative, dataflow programming language for exploring alternatives☆16Oct 14, 2016Updated 9 years ago
- Rust bindings for the Wolfram|Alpha web API☆11Nov 21, 2017Updated 8 years ago
- Reversible programming language☆12Dec 7, 2019Updated 6 years ago
- This crate demonstrates an approach to including KaTeX in Rust docs☆29Nov 18, 2018Updated 7 years ago
- Play memory allocation rate and GC events as sine wave and percussion, respectively.☆32Jul 19, 2020Updated 5 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated last year
- Glide is an interpreted javascript VM written entirely in safe rust.☆16Sep 25, 2023Updated 2 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Apr 8, 2024Updated last year
- Formalization of type theory☆22Jul 5, 2021Updated 4 years ago
- A font cache library for Rust☆13Jan 10, 2022Updated 4 years ago
- simple canvas for drawing lines and styled text and emitting to the terminal☆22Feb 18, 2026Updated last week
- Command line tool for generating a glTF 2.0 animation from a sequence of meshes☆17Apr 16, 2025Updated 10 months ago
- ☆20Sep 1, 2018Updated 7 years ago
- An experimental programming language.☆19May 16, 2019Updated 6 years ago
- A standalone code editor with syntax highlighting and themes.☆15Jun 1, 2023Updated 2 years ago
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated 10 months ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Mar 4, 2024Updated last year
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated last year
- Archive of the ES4 reference interpreter that was a work-in-progress when ES4 was cancelled.☆26Feb 27, 2014Updated 12 years ago
- Standard ML compiler based on typed intermediate languages.☆51Aug 22, 2014Updated 11 years ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago
- ☆21Nov 8, 2025Updated 3 months ago
- High performance FID (Fully Indexable Dictionary) library☆25Jul 19, 2024Updated last year
- A friendly Rust utility crate for duration and datetime☆38Feb 12, 2022Updated 4 years ago
- A lean, minimal, and stable set of types for color interoperation between crates in Rust.☆29Jul 11, 2022Updated 3 years ago
- Emulate dynamic dispatch and sealed classes using a proxy enum, which defers all method calls to its variants.☆19Jun 6, 2021Updated 4 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆20Nov 12, 2020Updated 5 years ago
- Relational Algebra at your fingertips☆62Dec 3, 2014Updated 11 years ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- A glsl to spirv compiler☆20Nov 26, 2019Updated 6 years ago
- Load fonts as vector graphics in pure Rust with advanced text layout.☆43Mar 8, 2023Updated 2 years ago
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆54Oct 26, 2021Updated 4 years ago
- A Zsh plugin for cycling through the directory stack.☆22May 19, 2020Updated 5 years ago