hbr

hbr

Geek Repo

Github PK Tool:Github PK Tool

hbr's repositories

fmlib

Functional Monadic Library for Ocaml

Language:OCamlLicense:BSD-3-ClauseStargazers:43Issues:2Issues:7

Lambda-Calculus

Some papers on "Lambda Calculus"

Language:TeXStargazers:22Issues:0Issues:0

albatross

Compiler for the Albatross Language

Language:OCamlStargazers:11Issues:6Issues:0

alba-lang-description

Language description of the Albatross programming language

Language:CSSLicense:CC0-1.0Stargazers:1Issues:0Issues:0

fmlib_examples

Examples using the fmlib ocaml library

Language:OCamlStargazers:1Issues:0Issues:0
Stargazers:1Issues:0Issues:0

Programming

Programming Examples

Language:CoqStargazers:1Issues:0Issues:0

tex_alba_design

Draft Paper in Tex

Language:TeXStargazers:1Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0

alba-lang-examples

Example programs in Albatross

Language:PerlStargazers:0Issues:0Issues:0

alba.base

Base library of the Albatross Compiler

Language:PerlStargazers:0Issues:0Issues:0

albatross_web

(Web) Documentation of Albatross

Language:HTMLLicense:GPL-2.0Stargazers:0Issues:0Issues:0
Language:CoqLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0

opam-repository

Main public package repository for opam, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0