sabauma/agda-relation-algebra sabauma/agda-relation-algebra

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language Agda
  • License
    Other
  • Created over 10 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sabauma/agda-relation-algebra
github

sabauma

Reviews

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

Repository Details

Relational algebra implementation in Agda with simple bindings to SQLITE

More Repositories

1

haskell-molecular-dynamics

Haskell Implementation of Generic N-Body Computations
Haskell
5
star
2

gradual-typing-timings

Jupyter Notebook
3
star
3

molecular-dynamics

C++
1
star
4

dotfiles

All my dotfiles
HTML
1
star