damhiya/CubicalInteger damhiya/CubicalInteger

  • Stars
    star
    1
  • Language Agda
  • Created about 3 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
damhiya/CubicalInteger
github

damhiya

Reviews

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

Repository Details

More Repositories

1

Coq-tips

8
star
2

MetaLambda

Haskell
6
star
3

sflab-overlay

Nix
5
star
4

AgdaLambdaCalculus

Agda
5
star
5

FlexibleStrip

Flexible strip numerical analysing software using fortran
Fortran
4
star
6

Presentations

TeX
3
star
7

pfds

purely functional data structures
Haskell
3
star
8

HaskellCourse

2
star
9

nixos-configuration

Nix
2
star
10

dc-github-ps

Haskell
2
star
11

damhiya.github.io

damhiya's github pages
Haskell
1
star
12

AgdaHeap

Agda
1
star
13

AgdaPaco

Agda
1
star
14

LaTeXSymbol

Haskell
1
star
15

damhiya

1
star
16

AgdaFormalLanguage

Agda
1
star
17

VerifiedBOJ

Coq
1
star
18

MetaHTML

Nix
1
star
19

lpu

Agda
1
star
20

NonogramSolver

Scheme
1
star
21

AudioCompress

Lossless Audio compression example using julia
Julia
1
star
22

citrus

Haskell
1
star