hannesm/KopitiamBoilerplate hannesm/KopitiamBoilerplate

  • Stars
    star
    1
  • Language
  • Created over 13 years ago
  • Updated about 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hannesm/KopitiamBoilerplate
github

hannesm

Reviews

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

Repository Details

Kopitiam feature and update site, as needed by eclipse

More Repositories

1

jackline

minimalistic secure XMPP client in OCaml
OCaml
249
star
2

tlstunnel-lwt

TLS tunnel -- an alternative to stud / stunnel
OCaml
82
star
3

gmap

heterogenous Map over a GADT
OCaml
41
star
4

ocaml-otr

Off-the-record (OTR) messaging protocol, purely in OCaml
OCaml
40
star
5

conex

establish trust in community repositories, cryptographically signed by library authors
OCaml
34
star
6

patch

line based patch, input is a unified diff
OCaml
18
star
7

duration

Duration
OCaml
16
star
8

telnet

telnet protocol in OCaml
OCaml
15
star
9

tlsclient

TLS client program
OCaml
12
star
10

ocaml-hkdf

HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)
OCaml
11
star
11

usane

Unsigned integers for OCaml
OCaml
10
star
12

domain-name

RFC 1035 Internet domain names
OCaml
10
star
13

logs-syslog

Emit Logs via syslog
OCaml
10
star
14

trace-checker

OCaml
8
star
15

statmemprof-mirage

Statistical memory profiling for MirageOS
OCaml
7
star
16

ns.nqsb.io

NQSB.IO name server
OCaml
6
star
17

bibtex-kindle

Some elisp code which uses bibtex to export pdfs to kindle (metadata and collections)
Emacs Lisp
6
star
18

mirageos-bobkonf2019-tutorial

MirageOS unikernels used for bobkonf 2019 tutorial
OCaml
6
star
19

mirage-timestamp-reporter

A log reporter which prefixes each message with a timestamp
OCaml
5
star
20

randomconv

Convert random byte vectors to numbers
OCaml
4
star
21

module-size

Figuring out binary sizes of OCaml modules in a binary
OCaml
4
star
22

precis

RFC 8264 in OCaml
OCaml
4
star
23

visualization-middleware

Open Dylan intermediate representation live visualization
JavaScript
3
star
24

graph.js

JavaScript graph structure: common operations, placing and drawing on canvas
JavaScript
2
star
25

testrepo

2
star
26

wireguard-ocaml

wireguard but this time it's in ocaml
OCaml
2
star
27

jackline-opam

minimal fully signed opam repository for jackline
2
star
28

DependencyBrowser

java side
Java
1
star
29

xmpp-opam

OPAM repository for xmpp development
1
star
30

conex-paper

TeX
1
star
31

KopitiamAspects

weaving of eclipse Java parser to accept custom JDT syntax for proof script
Java
1
star
32

typed-opendylan-dylan

Dylan library for typed opendylan branch
Dylan
1
star
33

EclipseAspect

some tests of eclipse aspects
Java
1
star
34

FlowGraphVisualization

flow graph visualization, java part
Java
1
star
35

functoria-playground

OCaml
1
star
36

dependency-browser

Interactively browse dependencies
1
star
37

opam-check-checksum

OCaml
1
star