• Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Emacs Lisp
  • Created about 13 years ago
  • Updated over 9 years ago

Reviews

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

Repository Details

Some elisp code which uses bibtex to export pdfs to kindle (metadata and collections)

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

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