Soupstraw

Tartu, Estonia

Pinned Repositories

secure-logic-programming
In this project we develop a compiler from Datalog-like language to a privacy-preserving application (based on Sharemind)
Language:Haskell0 2 30
404GameJam
Language:C#0 4 00
agda-presentation
Language:Agda20
fractalvr
Real-time fractal renderer for VR devices.
Language:C++0 3 01
hafar
Affine arithmetic library for Haskell
Language:Haskell1 3 20
shellshock
ld39
Language:C#0 3 00
sauron_old_repo
A reverse proxy server for machine translation servers
Language:Java5 8 01

Soupstraw's Repositories

Soupstraw/hafar
Affine arithmetic library for Haskell
Language:Haskell1 3 20
Soupstraw/404GameJam
Language:C#0 4 00
Soupstraw/fractalvr
Real-time fractal renderer for VR devices.
Language:C++0 3 01
Soupstraw/shellshock
ld39
Language:C#0 3 00
Soupstraw/BROOM_Engine
Language:Scala3 0
Soupstraw/compdata
Haskell library implementing "Data Types a la Carte"
Language:Haskell1 0
Soupstraw/dead-keys
Language:ASP3 0
Soupstraw/elm-websocket
Generate an Elm Subscriber and JSON encoders/decoders for a Wai WebSocket server
Language:Haskell2 0
Soupstraw/GameOffSoupstraw
Language:Java2 0
Soupstraw/GGJ2017
Language:C#4 0
Soupstraw/HaskRel
Haskell as a DBMS including the relational algebra
Language:Haskell1 0
Soupstraw/isabelle-visualizer
3 0
Soupstraw/Jaava
Eestikeelse programmeerimiskeele Jaava kompailer
Language:Java3 0
Soupstraw/LD43
Language:GDScript3 0
Soupstraw/ludumdare36
Language:ASP
Soupstraw/lycantrail
Entry for Ludum Dare 35
Language:C#2 0
Soupstraw/Nonsa
Language:Java5 0
Soupstraw/pffftGaem
Language:C#3 0
Soupstraw/privatelocation
Language:Java2 0
Soupstraw/rustpunk
Language:Rust3 0
Soupstraw/stackage
"Stable Hackage": vetted consistent packages from Hackage
Language:Dockerfile2 0
Soupstraw/TetrisBot
Language:Java4 0