A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation in classical physics, Riemannian geometry and General Relativity calculations, and simple Grassmannian calculus.
☆16Jul 19, 2014Updated 12 years ago
Alternatives and similar repositories for Schemannian
Users that are interested in Schemannian are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A parser tool for Racket with an expressive grammar notation☆20Mar 8, 2015Updated 11 years ago
- 2d syntax☆20May 26, 2026Updated last month
- Interactive side-bar feature for leaf based init.el☆12May 16, 2026Updated 2 months ago
- Draw lightsabers using Racket's pict library☆11Jul 31, 2019Updated 6 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Computer Algebra System for Racket☆19Mar 11, 2023Updated 3 years ago
- Well-typed JSON parser generator inspired by Type Provider☆16Feb 26, 2021Updated 5 years ago
- Google C++ Style checker for Flycheck☆42Jun 19, 2026Updated last month
- A Racket library for writing PDF files☆14Sep 9, 2015Updated 10 years ago
- nand-lang☆15Apr 22, 2018Updated 8 years ago
- ☆15May 26, 2026Updated last month
- Wrap calling mbsync in Emacs Lisp, with a gnus hook☆28Jan 28, 2020Updated 6 years ago
- ☆13May 26, 2026Updated last month
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Feb 15, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆22Feb 22, 2020Updated 6 years ago
- ☆40May 26, 2026Updated last month
- ☆14Feb 21, 2021Updated 5 years ago
- A computer algebra system (CAS) for high school students☆14Dec 26, 2018Updated 7 years ago
- Optimization Coach Plug-In for DrRacket☆20May 26, 2026Updated last month
- rs - the Racket Sequencer☆16Apr 15, 2021Updated 5 years ago
- ☆15Jul 7, 2022Updated 4 years ago
- ☆19Updated this week
- ☆12May 26, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Python for multiobjective cash management☆12Sep 21, 2017Updated 8 years ago
- Simple computer algebra system☆63Dec 19, 2024Updated last year
- Automatically exported from code.google.com/p/recommended-c-style-and-coding-standards-cn☆13Mar 13, 2015Updated 11 years ago
- A clojure implementation of parsing with derivatives☆17Mar 6, 2014Updated 12 years ago
- Error-free transformations are used to get results with extra accuracy.☆15May 27, 2026Updated last month
- ☆18May 26, 2026Updated last month
- Racket support for Visual Studio Code with better inteliSense☆19Dec 6, 2022Updated 3 years ago
- Library to enable using graphviz in Racket programs☆25Oct 21, 2021Updated 4 years ago
- An online playground for Racket.☆13May 11, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- My fork of matlab-mode☆13Jan 4, 2017Updated 9 years ago
- My personal template repository for Racket packages☆16Sep 17, 2020Updated 5 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Dec 5, 2020Updated 5 years ago
- A simple 8-bit virtual stack machine☆16Aug 30, 2014Updated 11 years ago
- Lazy forms in Common Lisp☆11Aug 31, 2020Updated 5 years ago
- The new CodeSpells, see codespells.org for details☆22Aug 22, 2021Updated 4 years ago
- FreeCAD models from my german and english Youtube channel☆15Oct 9, 2016Updated 9 years ago