andreaferretti / commutative-algebra
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
- A general purpose relational language☆20Updated 5 years ago
- A lightweight interactive data visualization library☆14Updated 5 years ago
- Various Futhark benchmark programs☆41Updated this week
- A MiniKanren in Python☆35Updated 8 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Tagged union types and immutable records (product types) in Python☆11Updated 7 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆22Updated 8 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 5 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- Experiments in lexing, parsing, interpreting, VM and JITs☆9Updated 6 years ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 9 months ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- A λ-calculus shell (because I love writing shells).☆11Updated 5 years ago
- Finite state machines as graphs☆59Updated 4 years ago
- Column-oriented binary format for immutable datasets☆9Updated 5 years ago
- Incremental regular expression matching☆53Updated 12 years ago
- Jane Street Capital's standard library overlay☆34Updated 3 months ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago
- two strange things to do with neural nets☆16Updated 6 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- negamax AI algorithm for turn-based games☆13Updated 5 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- Beating haskell with C☆11Updated 5 years ago
- A type theory based theorem proving library☆25Updated 13 years ago