fizruk Goto Github PK

accpa-spring-2022

Source code for demonstrations used in the ACC&PA course of Spring 2022.

aeson-injector

Haskell library for injecting fields into aeson values

agent-slides

A short survey on multi-agent systems.

arangodb

ArangoDB HTTP API bindings.

arithmoi

arithmoi is currently maintained here

awesome-bugs

A taxonomy of defects with a benchmarking script that validates which of them can be spot by which static analyzers

bindings-lxc

Direct Haskell bindings to LXC (Linux containers) C API.

blank-canvas

A Haskell API into HTML5 Canvas

bmstu-rzk-demo-2023

Materials for Rzk demo and tutorials for the HoTT seminar at Bauman Moscow State Technical University, Nov 20–21, 2023.

bookkeeper

contravariant

Haskell 98 contravariant functors

cv-template

Сurriculum vitæ / Résumé template

decidable-validation

Validation through Divisible and Decidable.

demarcate

[Deprecated] Demarcating transformed monad.

diff_game

Solution of nonlinear differential equations

docker-stack-ghcjs

Docker Image for GHCJS with stack

dots-game

Client-server simple dots game.

e2-unification

Simple E-unification for second-order syntax.

eertree

Purely functional palindromic tree.

elm-graph-editor

etcs-manim

Animations for a series of videos on the Elementary Theory of the Category of Sets (ETCS).

fby-2017-talk

Slides and materials for my f(by) 2017 talk on Functional Virtual Reality: WebVR + Haskell.

fby-2017-workshop

My f(by) 2017 workshop on building Telegram bots in Haskell.

ffi-dsl

Exporting Haskell abstract DSL through the FFI.

files-upload-example

Files upload combinator with the latest servant.

firefly

A simple swarm-based multiplayer game.

formal-phi

Formalization of 𝜑-calculus in Agda.

fpconf-2017-talk

Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.

free-accelerate

Data parallel representation for free monads.

free-agent

A general framework for multi-agent systems. An agent-environment interface is abstracted with a free monad.