AlgebraicWolf

idris2-russel

Implementation of Russel paradox in Idris 2

caos-seminars

Seminar code snippets & Additional materials for Computer Architecture & Operating Systems Course

rust-bang-notation

!-notation for Rust

ad_hoc_messenger

Ad-hoc messenger based on Google Nearby

AlgebraicWolf

CAMNS

Convex Analysis of Mixture Non-negative Sources implementation in Python

client

PHP client for Tarantool.

cpp-compile-time

Using C++ as an interpreted functional language

cpp-functional-templates

Code for articles on C++ templates as a functional language

cpp-template-brainfuck

database-course-project

Final project for databases course

den

A place where wolves live

deptycheck

Facilities for generating dependently-typed data

deptycheck-arithmetization

What Can DepTyCheck Derive?

distributed-optimization

dotfiles

english-presentation

fpmi-networks-2021

fpmi-optimization

Idris2

A purely functional programming language with first class types

idris2-misc

Random idris excercises that are not worthy of their own repos

idris2-pack

k_univalence_inconsistency

Proof that adopting both Axiom K and Univalence leads to inconsistency

kotlin-backend-project

leadersofdigital-analytics-toolkit

luarocks

LuaRocks is the package manager for the Lua programming language.

MiniJava_Interpreter

parallel-course-hw

rust-native-tls

Yaffle

A core language and API for dependently typed languages