A computer algebra system (CAS) for high school students
☆14Dec 26, 2018Updated 7 years ago
Alternatives and similar repositories for bracket
Users that are interested in bracket are comparing it to the libraries listed below
Sorting:
- ☆10Jan 24, 2016Updated 10 years ago
- Simple computer algebra system☆65Dec 19, 2024Updated last year
- ☆13Feb 21, 2026Updated last week
- ☆18Feb 21, 2026Updated last week
- The algebra for formal power series in elements of the Weyl algebra☆18Jul 25, 2018Updated 7 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Feb 24, 2025Updated last year
- the mind-blowing sci-fi font☆11Mar 2, 2022Updated 3 years ago
- Learning Racket☆32Jan 12, 2025Updated last year
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated this week
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.☆34May 27, 2017Updated 8 years ago
- Clojure transducers in a typed setting, in Haskell☆56Feb 19, 2015Updated 11 years ago
- A collection of dockerfiles☆12Feb 17, 2026Updated last week
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- ☆14Oct 27, 2014Updated 11 years ago
- Laser Plasma Interaction Cheat-Sheet☆11Apr 2, 2025Updated 10 months ago
- a hybrid 2D code for plasma wakefield acceleration☆11Dec 23, 2018Updated 7 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- Project to digitize avant-garde periodicals☆12May 13, 2022Updated 3 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- GPS pet tracker☆11May 5, 2025Updated 9 months ago
- Lean Companion to the Category Theory in Context textbook by Emily Riehl☆28Nov 28, 2025Updated 3 months ago
- Key Quiz game for GNU Emacs☆35Oct 12, 2021Updated 4 years ago
- ☆50May 15, 2023Updated 2 years ago
- The Universal Algebra Calculator☆16Jun 11, 2022Updated 3 years ago
- PKM + REPL + AI☆12Aug 2, 2024Updated last year
- GNU Guix is a purely functional package manager for the GNU system, and a distribution thereof.☆12Oct 21, 2014Updated 11 years ago
- Emacs client for Semantic Synchrony knowledge graphs☆12Jan 2, 2026Updated 2 months ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- A RubyMine plugin that provides additional refactorings for Ruby☆12Nov 1, 2024Updated last year
- ☆12Oct 3, 2020Updated 5 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- my personal dotfiles and other home stuff vcsh style☆12Sep 30, 2025Updated 5 months ago
- Extra stuff for the Unity-for-Arch project☆25Oct 23, 2016Updated 9 years ago
- Clara2 - a parallel classical radiation calculator based on Liénard-Wiechert potentials☆14Jun 16, 2021Updated 4 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- A time-tracker built for education, fun and eventually profit.☆14Dec 11, 2022Updated 3 years ago
- Racket plugin for the asdf version manager [maintainer=@nandalopes]☆13Jan 4, 2025Updated last year
- An implementation of Racket's Scribble in Clojure☆22Sep 20, 2013Updated 12 years ago
- Quickly generate markdown tables in your terminal using a simplistic specification☆16Oct 2, 2019Updated 6 years ago