andreaferretti / commutative-algebraLinks
An introduction to the basic ideas of commutative algebra
☆17Updated 5 years ago
Alternatives and similar repositories for commutative-algebra
Users that are interested in commutative-algebra are comparing it to the libraries listed below
Sorting:
- A lightweight interactive data visualization library☆14Updated 6 years ago
- A general purpose relational language☆19Updated 5 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Experiments in lexing, parsing, interpreting, VM and JITs☆9Updated 6 years ago
- negamax AI algorithm for turn-based games☆13Updated 5 years ago
- Jumpstart your Nim project at Status☆11Updated 5 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- Various Futhark benchmark programs☆42Updated last month
- An implementation of the clustering algorithm k-means in J.☆13Updated 10 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 6 years ago
- ☆13Updated 4 months ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- A visual Mandelbrot set explorer written in J☆11Updated 4 years ago
- Autograd (backpropagation, reverse-mode auto differentiation) in Nim☆12Updated 7 years ago
- Word2vec implemented in nim.☆31Updated 3 years ago
- Apache Arrow implementation in Nim☆22Updated 3 years ago
- A quickcheck library for Nim☆19Updated 5 years ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- Exploration of various implementations of memory range types☆7Updated 5 years ago
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- My solutions for AoC 2017, using Nim, OCaml, and Python☆43Updated 6 months ago
- TinyNim - a REPL for Nim (an interactive sandbox for testing Nim code)☆31Updated 4 years ago
- A minimal experimental actor library for Nim (wip)☆24Updated 8 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 9 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- A (mildly) optimizing brainf*ck compiler implemented as Nim macros☆26Updated 4 years ago