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
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- A general purpose relational language☆19Updated 5 years ago
- A series of educational Deep Learning Koans, using Julia and Flux.jl☆30Updated 5 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆22Updated 8 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- An implementation of the clustering algorithm k-means in J.☆13Updated 10 years ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 6 years ago
- Autograd (backpropagation, reverse-mode auto differentiation) in Nim☆12Updated 7 years ago
- Jane Street Capital's standard library overlay☆36Updated last week
- ☆13Updated 3 months ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 years ago
- TinyNim - a REPL for Nim (an interactive sandbox for testing Nim code)☆31Updated 4 years ago
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated 2 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- Various Futhark benchmark programs☆42Updated 2 weeks ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- A interactive website and server that allow you to easily play with and explore the Nim programming language.☆16Updated last year
- Jumpstart your Nim project at Status☆11Updated 5 years ago
- negamax AI algorithm for turn-based games☆13Updated 5 years ago
- Game theory in Clojure☆18Updated 12 years ago
- Cap’n Proto plugin for generating serializable Pony classes. - 'n☆19Updated 7 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- a syntax directed editor☆17Updated last year
- Finite state machines as graphs☆59Updated 4 years ago