fizruk/fby-2017-talk

Stars
1
Language
Haskell
Created almost 7 years ago
Updated almost 7 years ago

fizruk/fby-2017-talk

fizruk

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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-foil

Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).

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.

typesafe-containers

A collection of type-safe containers.

arangodb

ArangoDB HTTP API bindings.

firefly

A simple swarm-based multiplayer game.