There are no reviews yet. Be the first to send feedback to the community and the maintainers!
telegram-bot-simple
Easy to use library for building Telegram bots in Haskell.rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.http-api-data
Converting to/from HTTP API data like URL pieces, headers and query parameters.lxc
High level Haskell bindings to LXC (Linux containers).lambdaconf-2018-workshop
LambdaConf 2018 workshop on building Telegram bots in Haskell.snakes-demo
Snakes game demo.free-agent
A general framework for multi-agent systems. An agent-environment interface is abstracted with a free monad.lambda-mu-mu-calculus
Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).simple-grin
Compiler from a simple functional language to GRIN.miso-aframe
Miso bindings for A-Frame framework for WebVR.bindings-lxc
Direct Haskell bindings to LXC (Linux containers) C API.fpconf-2017-talk
Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.lambdaconf-2019-workshop
LambdaConf 2019 workshop «Augmenting Reality in Haskell».haskell-course-projects
Final projects for Haskell course at CMC MSU.tubes
A collaborative game about metro construction.simple-topes
Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.free-accelerate
Data parallel representation for free monads.replay-free
Logging and replaying interpretations of free structures.eertree
Purely functional palindromic tree.vscode-rzk
Visual Studio Code Extension(s) for rzk proof assistant.sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.accpa-spring-2022
Source code for demonstrations used in the ACC&PA course of Spring 2022.fby-2017-workshop
My f(by) 2017 workshop on building Telegram bots in Haskell.haskell-codeworld-template
Template Haskell project using CodeWorld.e2-unification
Simple E-unification for second-order syntax.formal-phi
Formalization of 𝜑-calculus in Agda.time-alchemy-game
decidable-validation
Validation through Divisible and Decidable.packed-memory-containers
Packed memory containers.fby-2017-talk
Slides and materials for my f(by) 2017 talk on Functional Virtual Reality: WebVR + Haskell.typesafe-containers
A collection of type-safe containers.arangodb
ArangoDB HTTP API bindings.firefly
A simple swarm-based multiplayer game.Love Open Source and this site? Check out how you can help us