Nikolai Kudasov (fizruk)

fizruk

Geek Repo

Company:@InnopolisUniversity

Home Page:fizruk.github.io

Twitter:@crazy_fizruk

Github PK Tool:Github PK Tool


Organizations
cmc-msu-ai
GetShopTV
haskell-servant
polystat
rzk-lang

Nikolai Kudasov's repositories

telegram-bot-simple

Easy to use library for building Telegram bots in Haskell.

Language:HaskellLicense:BSD-3-ClauseStargazers:106Issues:6Issues:64

http-api-data

Converting to/from HTTP API data like URL pieces, headers and query parameters.

Language:HaskellLicense:NOASSERTIONStargazers:52Issues:3Issues:44

simple-topes

Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.

Language:HaskellLicense:BSD-3-ClauseStargazers:15Issues:3Issues:0

simple-grin

Compiler from a simple functional language to GRIN.

Language:HaskellLicense:BSD-3-ClauseStargazers:10Issues:2Issues:0

free-accelerate

Data parallel representation for free monads.

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:1Issues:0

free-foil

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

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:1Issues:0

accpa-spring-2022

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

Language:HaskellStargazers:2Issues:2Issues:0

e2-unification

Simple E-unification for second-order syntax.

Language:HaskellLicense:BSD-3-ClauseStargazers:2Issues:1Issues:0

eertree

Purely functional palindromic tree.

Language:HaskellLicense:NOASSERTIONStargazers:2Issues:2Issues:0

haskell-codeworld-template

Template Haskell project using CodeWorld.

Language:HaskellLicense:BSD-3-ClauseStargazers:2Issues:1Issues:1

soas-quine

Generating quines via E-unification for second-order abstact syntax.

Language:HaskellLicense:MITStargazers:2Issues:2Issues:0

formal-phi

Formalization of 𝜑-calculus in Agda.

Language:AgdaStargazers:1Issues:2Issues:0

hottest-2023-rzk-demo

Rzk proof assistant demo for HoTTEST talk on October 5th, 2023.

Language:JavaScriptStargazers:1Issues:1Issues:0

SymmetryBook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Language:HTMLLicense:CC-BY-SA-4.0Stargazers:1Issues:0Issues:0
Language:RustStargazers:1Issues:0Issues:0

awesome-bugs

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

Language:TeXLicense:MITStargazers:0Issues:0Issues:0

bmstu-rzk-demo-2023

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

Language:JavaScriptStargazers:0Issues:1Issues:0
Language:HTMLStargazers:0Issues:0Issues:0

itp-school-2023-demo

Demo of formalisations in Rzk for the «Interactions of Proof Assistants and Mathematics» in Regensburg, September 18–29, 2023

Language:JavaScriptStargazers:0Issues:0Issues:0

j2eo

Java to EOLANG Transpiler

Language:JavaStargazers:0Issues:0Issues:0

lambda-lifting-thesis

The source code for the Bachelor thesis: Lambda lifting via data parallel syntax tree representation in Haskell.

Language:YaccStargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

phi-to-graph

𝜑-terms to graph building commands

Language:HaskellStargazers:0Issues:1Issues:0
Language:ScalaLicense:MITStargazers:0Issues:0Issues:0

soas-rock

Build system for incremental and query-driven compiler architecture using Rock and Second-Order Abstract Syntax

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

Language:ShellLicense:MITStargazers:0Issues:2Issues:0

tiny-games-hs

Rules for & examples of tiny haskell games

Language:HaskellStargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

try-phi

Online interactive parser and translator of EO and 𝜑-calculus

Language:HaskellStargazers:0Issues:0Issues:0

TypeTheory

The mathematical study of type theories, in univalent foundations

Language:CoqStargazers:0Issues:2Issues:0