Mariszo's repositories
acid-state
Add ACID guarantees to any serializable Haskell data structure
apecs
a fast, type driven, extensible ECS for game development
awesome-distributed-systems
A curated list to learn about distributed systems
book
A textbook on informal homotopy type theory
bottlerocket
An operating system designed for hosting containers
clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
copilot
A stream-based runtime-verification framework for generating hard real-time C code.
cortex-m-rtic
Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers
deltachat-core-rust
Delta Chat Rust Core library, used by Android/iOS/desktop apps and bindings
dhall-lang
Maintainable configuration files
docopt.hs
A command-line interface description language and parser that will make you smile
dunai
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
eduOS-rs
A teaching operating system written in Rust
haskoin-core
Haskoin Core is a Bitcoin and Bitcoin Cash library
hs-web3
Web3 API for Haskell.
ipfs-haskell
IPFS wrapper for Haskell
LambdaHack
Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at
ledger
Double-entry accounting system with a command-line reporting interface
lnav
Log file navigator
operational
Implement monads by specifying instructions and their desired operational semantics.
pandoc
Universal markup converter
polysemy
:gemini: higher-order, no-boilerplate monads
reactive-banana
Library for functional reactive programming in Haskell.
rpgp
Pure rust implementation of OpenPGP
SpaceInvaders
A Haskell game written in Yampa
spectacle
Embedded specification language & model checker in Haskell
Theseus
Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง, novel OS structure, and state management. It strives to close the semantic gap between compiler and hardware in order to maximally leverage the power of language safety, and thus shift OS responsibilities (resource management) into the compiler.
tock
A secure embedded operating system for Cortex-M based microcontrollers
yagna
An open platform and marketplace for distributed computations
youtube-dl
Command-line program to download videos from YouTube.com and other video sites