hannesm/patch hannesm/patch

  • Stars
    star
    18
  • Rank 1,208,065 (Top 24 %)
  • Language
    OCaml
  • License
    Other
  • Created over 5 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hannesm/patch
github

hannesm

Reviews

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

Repository Details

line based patch, input is a unified diff

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

duration

Duration
OCaml
16
star
7

telnet

telnet protocol in OCaml
OCaml
15
star
8

tlsclient

TLS client program
OCaml
12
star
9

ocaml-hkdf

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

usane

Unsigned integers for OCaml
OCaml
10
star
11

domain-name

RFC 1035 Internet domain names
OCaml
10
star
12

logs-syslog

Emit Logs via syslog
OCaml
10
star
13

trace-checker

OCaml
8
star
14

statmemprof-mirage

Statistical memory profiling for MirageOS
OCaml
7
star
15

ns.nqsb.io

NQSB.IO name server
OCaml
6
star
16

bibtex-kindle

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

mirageos-bobkonf2019-tutorial

MirageOS unikernels used for bobkonf 2019 tutorial
OCaml
6
star
18

mirage-timestamp-reporter

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

randomconv

Convert random byte vectors to numbers
OCaml
4
star
20

module-size

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

precis

RFC 8264 in OCaml
OCaml
4
star
22

visualization-middleware

Open Dylan intermediate representation live visualization
JavaScript
3
star
23

graph.js

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

testrepo

2
star
25

wireguard-ocaml

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

jackline-opam

minimal fully signed opam repository for jackline
2
star
27

DependencyBrowser

java side
Java
1
star
28

xmpp-opam

OPAM repository for xmpp development
1
star
29

conex-paper

TeX
1
star
30

KopitiamAspects

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

typed-opendylan-dylan

Dylan library for typed opendylan branch
Dylan
1
star
32

KopitiamBoilerplate

Kopitiam feature and update site, as needed by eclipse
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