fizruk/vscode-rzk

Stars
3
Rank 3,855,870 (Top 79 %)
Language
TypeScript
License
Other
Created about 1 year ago
Updated 11 months ago

fizruk/vscode-rzk

fizruk

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

Visual Studio Code Extension(s) for rzk proof assistant.

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.

sHoTT

Formalisations for simplicial HoTT and synthetic ∞-categories.

eertree

Purely functional palindromic tree.

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.

fby-2017-talk

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

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.