Beast code in Giters

Yuri Kizhaev's starred repositories

pytudes

Python programs, usually short, of considerable difficulty, to perfect particular skills.

Language:Jupyter NotebookMIT22516 773 36

DeDRM_tools

DeDRM tools for ebooks

Language:Python14359 446 2001

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXNOASSERTION10834 242 161

paip-lisp

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

Language:Common LispMIT7062 236 51

arrow

Λrrow - Functional companion to Kotlin's Standard Library

Language:KotlinNOASSERTION6066 92 997

gradle-retrolambda

A gradle plugin for getting java lambda support in java 6, 7 and android

Language:JavaApache-2.05307 177 230

sicp-pdf

SICP PDF with Texinfo and LaTeX source

Language:Perl4263 187 31

Intro-To-RxJava

An extensive tutorial on RxJava

Language:Java2047 98 12

exercises-in-programming-style

Comprehensive collection of programming styles using a simple computational task, term frequency

Language:PythonMIT2002 88 14

pgcenter

Command-line admin tool for observing and troubleshooting Postgres.

Language:GoNOASSERTION1520 67 89

ods

Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete implementations.

Language:TeXNOASSERTION1195 63 42

cakeml

CakeML: A Verified Implementation of ML

Language:Standard MLNOASSERTION928 46 460

DrTLAPlus

Dr. TLA+ series - learn an algorithm and protocol, study a specification

Language:TLA787 1060

pie

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

Language:RacketAGPL-3.0681 34 31

kmath

Kotlin mathematics extensions library

Language:Kotlin640 20 233

walleth

free (libre) native Android Ethereum wallet

Language:KotlinGPL-3.0606 36 500

simplelanguage

A simple example language built using the Truffle API.

Language:JavaUPL-1.0601 49 29

lincheck

Framework for testing concurrent data structures

Language:KotlinMPL-2.0538 32 137

KEthereum

Kotlin library for Ethereum

Language:KotlinMIT344 13 85

webvectors

Web-ify your word2vec: framework to serve distributional semantic models online

Language:PythonGPL-3.0194 12 36

secd

A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)

Language:Clojure119 90

Category-Theory-for-Programmers.kt

Kotlin sample code for Bartosz Milewski's CT for Programmers

Language:Shell105 27 33

inflectible

Template engine for natural languages that allows using grammatically appropriate word forms

Language:JavaMIT84 9 139

unsound

Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala

Language:HTML74 5 5

kotlin-dsl-example

a rich example of Kotlin DSL building

Language:KotlinApache-2.058 60

csclub-coq-course-spring-2021

A course on formal verification at https://compsciclub.ru/en, Spring term 2021

Language:HTML55 9 1

spring-boot-coroutines-demo

Language:Kotlin55 110

Bi71

being a bidirectional reformulation of Martin-Löf's 1971 type theory

Language:Agda25 80

yas

Yet Another Software Language Repository

Language:Prolog20 6 1

howtoprovefullabstraction

Writeup that goes along with this:

Language:Coq15 20