Discover sayon/fp-cata-presentation Open Source project

Stars
2
Language
TeX
License
MIT License
Created about 9 years ago
Updated almost 9 years ago

sayon

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Presenting an article of Meijer, Fokkinga and Paterson "Functional programming with bananas lenses envelopes and barbed wire"

forthress

A Forth dialect implementation for educational purposes

Forth

dwarf-vm

This is a simple stack virtual machine to be a translation target for toy languages.

stepik-c-course

Материалы для курса "Программирование на C и выполнение программ"

simple-jit-cpp

C++

camlocraft

Minecraft clone in Ocaml

OCaml

dynamic-libraries-course

Course materials

TeX

minivm

A compiler and virtual machine for a toy imperative language

coq-cata

study on coq catamorphisms encoding

Coq

c-hashmap-example

An exemplary hashmap implementation for strings

dwarf-cs

jurnalu-downloader

a tool to download comic books from jurnalu dot ru

forthress-2

an alternative version of Forthress with a better thought-out syntax and VM

Assembly

c-classes

bentley-ottman-snap-rounding

Sample bentley-ottman implementation (with snap rounding)

Scala

remote-launcher

A simple tool to run a command transfered through network

itmo-classes-annotations

kotlin-fsm-dsl

A simple example of how you can use kotlin to build a DSL, describing state machines

Kotlin

ignoreme

A legendary program to distinguish programming languages is now on GitHub!

Python

XOnD

Classic tic tac toe in 4 dimensional space

JavaScript

scripts

a collection of short scripts I am using on my debian VM

Shell

sayon/fp-cata-presentation

sayon

Reviews

Repository Details

More Repositories