anlun Goto Github PK

lvertical

netctl

Profile based systemd network management

nonmca

ocaml-ci-scripts

Skeletons for CI scripts

ocanren

Statically typed embedding of miniKanren relational programming language into Objective Caml

olympis

Репозиторий проекта по практике "Администрирование информационных систем".

opam-coq-repo

operationalsemanticsc11

An operational semantics for C11.

ostap

parallelex

parsercombinators

The parser combinator library written in Kotlin.

polynomialppcombinators

Polynomial-time optimal pretty-printing combinators with choice

posterdownloader

pretty_printer_kotlin

pretty_test

Пример использования библиотеки pretty_printer_kotlin

printerpluginpresentationcases

Cases for printer plugin presentation

promising-coq

The Coq development of A Promising Semantics for Relaxed-Memory Concurrency

promising-opam-coq-archive

publicfiles

A repo with files to be publicly shared at http://podkopaev.net

qmc_interactive

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

qreal

CASE and metaCASE system

revparsepretty

russian-phd-latex-dissertation-template

LaTeX-template for russian Phd thesis

sample-compiler

sc-mini

SC Mini is a "minimal" positive supercompiler

seim16

A paper for SEIM'16

sflib

sll-meta-haskell

"Metacomputation and its Applications" implemented for SLL

ssrlectures