bkomuves/polynomial-algebra bkomuves/polynomial-algebra

  • Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 5 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bkomuves/polynomial-algebra
github

bkomuves

Reviews

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

Repository Details

polynomial-algebra Haskell library

More Repositories

1

toy-language-server

Example language server (LSP) implementation for a toy language
Haskell
60
star
2

nanohs

a self-hosting lambda calculus compiler
Haskell
34
star
3

hash-circuits

Hashing circuits implemented in circom
Haskell
8
star
4

AOC

advent of code
Idris
3
star
5

compact-word-vectors

compact-word-vectors Haskell library: Small vectors of small integers
Haskell
2
star
6

combinat

Generate and manipulate various combinatorial objects
Haskell
1
star
7

finite-fields

arithmetic in (small) finite fields
C
1
star
8

formal-proofs

Formal proofs of some elementary mathematical statements
Agda
1
star
9

slides

slides of some talks I gave
1
star
10

r1cs-solver

R1CS soundness testing tool
Haskell
1
star
11

eth4berlin

eth4berlin
C
1
star