Discover @kit-ty-kate Open Source projects

Kate (@kit-ty-kate)

kit-ty-kate

Stars
358
Global Rank 77,137 (Top 3 %)
Followers 264
Following 36
Registered about 12 years ago
Most used languages

OCaml
70.3 %

Shell
10.8 %

C
10.8 %

Coq 5.4 %

C++
2.7 %
Location 🇬🇧 United Kingdom
Country Total Rank 3,636
Country Ranking

Coq 12

OCaml
13

Shell
679

C
1,125

C++
6,603

labrys

A toy language based on LLVM that implements the System Fω type-system

ocaml-monomorphic

A small library used to shadow polymorphic operators (and functions) contained in the stdlib.

mastodon-archive-viewer

View your Mastodon archive offline

opam-grep

Script that greps anything in the sources of every opam packages

opam-alpha-repository

A test opam overlay containing packages compatible with the next release of the OCaml compiler

opam-build

Experimental opam plugin

ocaml-activitypub

A dedicated ActivityPub/ActivityStreams parser and generator for OCaml

llvm-dune

The official LLVM OCaml binding but built using dune

yummy

[unreleased] A parser and generator library for a simple subset of YAML in pure OCaml

ocamldap

Ocamldap is an implementation of the Light Weight Directory Access Protocol

waylaunch

A program launcher for Wayland

camllzma

OCaml binding to liblzma [EXPERIMENTAL]

why3

An unofficial mirror of Why3 (http://why3.lri.fr/)

spdx_licenses

ocaml-platform-readiness

Experimental script to keep track of the status of various key OCaml packages

harrop-minml

Origin: https://groups.google.com/forum/#!msg/fa.caml/i6IgSFX8XkY/4khF8z1V7loJ

mirage-news

mirage-ping

This project ships two MirageOS unikernels to keep track of my server which has a dynamic IP

visitors

Mirror of https://gitlab.inria.fr/fpottier/visitors

ocaml-timeout

ocamlbuild-pkg

[DEPRECATED] An ocamlbuild plugin that helps packaging softwares

coq-playground

Playing with Coq…

camlbz2

https://gitlab.com/irill/camlbz2

llopt

Just a tiny LLVM-IR optimizer for testing stuff

mirage-torrent

otig

Experimental stuff with an experimental ocaml-git

ocaml-docker-hub

An OCaml library aiming to provide data from hub.docker.com

plaintext-server

ocaml-release-script

A simple release script using dune-release + opam-publish because dune-release does not work

minimal_http

delimcc

A temporary fork of http://okmij.org/ftp/continuations/implementations.html#caml-shift

opam-overlay

My personal opam overlay repository

feed-filter-example

An OCaml example program that allows you to filter atom feeds entries using Syndic

lib-pxp

Fork of https://gitlab.com/gerdstolpmann/lib-pxp

lld-playground

Playing with LLD (LLVM native linker)

js_of_ocaml-example

Small example for a friend

asahi-tips

exn.st

ocaml-tar-playground