Pinned Repositories
secure-logic-programming
In this project we develop a compiler from Datalog-like language to a privacy-preserving application (based on Sharemind)
404GameJam
agda-presentation
fractalvr
Real-time fractal renderer for VR devices.
hafar
Affine arithmetic library for Haskell
shellshock
ld39
sauron_old_repo
A reverse proxy server for machine translation servers
Soupstraw's Repositories
Soupstraw/agda-presentation
Soupstraw/bluff-odds
Soupstraw/agda-sets
An abstract set theory library that can be instantiated in various ways
Soupstraw/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
Soupstraw/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
Soupstraw/cardano-streamer
Consume Cardano blocks as a stream
Soupstraw/cuddle
CDDL DSL and Testing Tools
Soupstraw/error-message-index
A community-driven collection of documentation for Haskell error messages and warnings
Soupstraw/exec-spec-temporary
Soupstraw/godot
Godot Engine – Multi-platform 2D and 3D game engine
Soupstraw/godot-docs
Godot Engine official documentation
Soupstraw/h-raylib
Haskell bindings for Raylib
Soupstraw/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Soupstraw/ivotingverification
Android based vote verification application for Estonian I-voting system
Soupstraw/mal
mal - Make a Lisp
Soupstraw/mobile-nixos
Soupstraw/nixos-steam-box
A linux based gaming console based on NixOS + Steam Big Picture
Soupstraw/nixpkgs
Nix Packages collection & NixOS
Soupstraw/orders-of-magnitude
Soupstraw/ouroboros-network
An implementation of the Ouroboros family of consensus algorithms, with its networking support
Soupstraw/pandeemia
Soupstraw/Pistolman
Soupstraw/plugin.program.moonlight
A simple Moonlight launcher for Kodi
Soupstraw/plugin.program.steam.library
Access your Steam library from Kodi
Soupstraw/space-station-14
A multiplayer game about paranoia and chaos on a space station. Remake of the cult-classic Space Station 13.
Soupstraw/spacetest
Soupstraw/SS14.Launcher
Launcher for Space Station 14.
Soupstraw/template-parser
Soupstraw/yampa-sdl2
Yampa and SDL2 made easy
Soupstraw/yesod-purescript
yesod-purescript