damhiya/HaskellCourse damhiya/HaskellCourse

  • Stars
    star
    2
  • Language
  • Created about 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
damhiya/HaskellCourse
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

nixos-configuration

Nix
2
star
9

dc-github-ps

Haskell
2
star
10

damhiya.github.io

damhiya's github pages
Haskell
1
star
11

AgdaHeap

Agda
1
star
12

AgdaPaco

Agda
1
star
13

CubicalInteger

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