aricursion/LeanAlg aricursion/LeanAlg

  • Stars
    star
    1
  • Language
    C
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
aricursion/LeanAlg
github

aricursion

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A WIP linear algebra library for Lean

More Repositories

1

xj9

A Minimalist PDF Viewer in Rust
Rust
11
star
2

stlc-lean

Lean
1
star
3

CompileBPV

A compiler for a fragment of SML using CBPV-based IRs
OCaml
1
star
4

EcoLink

@Axolotl163 @naivros @VariableV 7 and Anastasiia Gorobets' submission to EarthXHack2020
JavaScript
1
star
5

Hearthstone-Clicker

You know those websites where you click the screen and a hearthstone card comes up? Let's make those obsolete, shall we?
HTML
1
star
6

ocaml-sat

An in-progress SAT library for Ocaml
OCaml
1
star