Airini

Göteborg

Pinned Repositories

AndroidExamples
Language:Java0 1 00
coq-course
Coq course at Chalmers CSE
Language:Coq0 1 00
FEECa
FEECa: Finite Element Exterior Calculus in Haskell
Language:Haskell34 8 47
flowlocks-framework
Language:Haskell0 1 00
GameOfLife
A basic Haskell implementation of the Game of Life with simple OpenGL graphics. Course-work.
Language:Haskell1 2 00
GTS-GFOK080
GTS course - Introduction to writing for publication: CARS analysis work.
Language:TeX0 1 00
paragon2
Language:Haskell0 1 00
DSLsofMath
Domain-Specific Languages of Mathematics
Language:Haskell420 21 4350
benchmarks
Tons of Inductive Problems: The Benchmarks
Language:SMT24 7 126
coq-course
Coq course at Chalmers CSE
Language:Coq38 14 410

Airini's Repositories

Airini/FEECa
FEECa: Finite Element Exterior Calculus in Haskell
Language:Haskell34 8 47
Airini/GameOfLife
A basic Haskell implementation of the Game of Life with simple OpenGL graphics. Course-work.
Language:Haskell1 2 00
Airini/AndroidExamples
Language:Java0 1 00
Airini/coq-course
Coq course at Chalmers CSE
Language:Coq0 1 00
Airini/flowlocks-framework
Language:Haskell0 1 00
Airini/GTS-GFOK080
GTS course - Introduction to writing for publication: CARS analysis work.
Language:TeX0 1 00
Airini/paragon2
Language:Haskell0 1 00