nekketsuuu

lambda2pi

λ → π

SatysfiFilter

Pandoc filter to add compiled result of SATySFi

satysfi-my-soul

Website for SATySFi snippets

cook-container-tutorial

haribote

ocaml_travis_ci

Travis CI benchmarks for OCaml

opam-repository

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

palette-generator

Palette generator for VoxelShop

conf-ruby

Clone of conf-ruby in ocaml/opam-repository for testing

conf-wget-alpine

dune-release

Streamlining the release of dune packages to opam

egison-tutorial

The Egison tutorial

go-slim

Slim Template Engine for golang

icons

my icons

nbe

Normalization by Evaluation

ocaml-ci-scripts

Skeletons for CI scripts

ocaml-docker-scripts

Scripts to generate Dockerfiles for various OCaml-based images

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

otfm

OpenType font decoder for OCaml

PandocPagetitle

Pandoc filter to set pagetitle automatically

ppx_deriving

Type-driven code generation for OCaml >=4.02

rust-practise-questions

A set of questions for practise in Rust

satysfi-external-repo

Custom OPAM repository for external libraries of SATySFi

superchat

testing-lecture-dockerfiles

private Dockerfile for a lecture of testing

tex-unicode

unc

tolsrc

Tool set for developing Haribote OS .

travis-build

.travis.yml => build.sh converter

twitter

/dev/null

ubuntu-unity-switch-tablet

My script to enable tablet mode on Ubuntu