Pinned Repositories
aboriginal
Aboriginal Generics: the future is here!
foreign-store-stm
openDE
Bindings of Open Dynamics Engine for Haskell.
yampa-apecs
Apecs adapter to Yampa.
yampa-brick
Yampa adapter to Brick.
yampa-gloss
A gloss backend for yampa
yampa-openal
Adapter between Yampa and OpenAL+ALUT
vitalibarozzi's Repositories
vitalibarozzi/abstract-effects
agnostic effect classes
vitalibarozzi/abstract-effects-test
Testing SDK for the effects library.
vitalibarozzi/al
Haskell OpenAL raw binding
vitalibarozzi/Carp
A statically typed lisp, without a GC, for real-time applications.
vitalibarozzi/foreign-store-stm
vitalibarozzi/openDE
Bindings of Open Dynamics Engine for Haskell.
vitalibarozzi/yampa-apecs
Apecs adapter to Yampa.
vitalibarozzi/yampa-brick
Yampa adapter to Brick.
vitalibarozzi/yampa-gloss
A gloss backend for yampa
vitalibarozzi/yampa-openal
Adapter between Yampa and OpenAL+ALUT
vitalibarozzi/ChezScheme
Chez Scheme
vitalibarozzi/cleff
Fast and concise extensible effects
vitalibarozzi/eff-1
A functional programming language based on algebraic effect handlers
vitalibarozzi/extensible
Extensible records, variants, structs, effects, tangles
vitalibarozzi/himalaya
CLI email client
vitalibarozzi/HODE
bump and fixes
vitalibarozzi/hslua
Haskell bindings to Lua, an embeddable scripting language.
vitalibarozzi/HVM
A massively parallel, optimal functional runtime in Rust
vitalibarozzi/irssi
The client of the future
vitalibarozzi/kiwiirc
🥝 Next generation of the Kiwi IRC web client
vitalibarozzi/koka
Koka language compiler and interpreter
vitalibarozzi/PomPom-Language
The cuteness implementation of a dependently typed language.
vitalibarozzi/racket
The Racket repository
vitalibarozzi/scryer-prolog
A modern Prolog implementation written mostly in Rust.
vitalibarozzi/skip
A programming language to skip the things you have already computed
vitalibarozzi/solanum
An IRCd for unified networks
vitalibarozzi/tart
Tart - draw ASCII art in the terminal with your mouse!
vitalibarozzi/vitalibarozzi
vitalibarozzi/wasp
A programming language that understands what a web app is.
vitalibarozzi/Yampa
Functional Reactive Programming domain-specific language for efficient hybrid systems