Mazdaywik

sc-mini

SC Mini is a "minimal" positive supercompiler

cogen

Compiler generator (3rd Futamura projection) for first-order Scheme

IU9-Mathmod

Лекции по математическому моделированию, читаемые на кафедре ИУ-9 МГТУ им. Н. Э. Баумана

Firicico

Combined programming mono font with italics and font ligatures made from Fira Code and Pacifico for Italics

mini-refal

This project is an implementation of a Refal dialect (Mini-Refal) written in F# using monadic parser combinators

Refal

Refal project. Translation program from pascal language to C

refal

Refal5 compiler for .NET platform

FiraCode

Free monospaced font with programming ligatures

Simple-Functional-Programming

Функциональное программирование простым языком + примеры

ScannerGenerator

Building packages for generating scanners.

automat

Textbook

Учебник теории категорий

oldkb

object/graph/knowledge database engine

klever

Read-only mirror of the Klever Git repository

Refal5

Coursework on Compiler Design/Thesis (Diploma) for calculating/verifying type of function in Refal5 (IU9, 7-8 semester)

metaLold

homoiconic metaprogramming system

baremp

bate embedded meta Python w/o frames

protosmt

Prototype SMT Solver

scala-rrb-vector

Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations

refal6

REFAL6 Interpreter and byte-compiler

defraggerWindows

ORM

Курсовая работа по конструированию компиляторов. Объектно-реляционное отображение

self-applicable-compiler-gen

develop-os-free

Make C programs that run without OS

gavin

The smallest operation system in the world

monoid

Customisable coding font with alternates, ligatures and contextual positioning. Crazy crisp at 12px/9pt. http://larsenwork.com/monoid/

z3

Golang binding for Z3 theorem prover from Microsoft Research

krsch

Курсовая

staged-mrsc-agda

Staged multi-result supercompilation (a model in Agda)

ttlite

A SuperCompiler for Martin-Löf's Type Theory