davidlazar/xml_of_ocaml davidlazar/xml_of_ocaml

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    OCaml
  • License
    MIT License
  • Created over 12 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
davidlazar/xml_of_ocaml
github

davidlazar

Reviews

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

Repository Details

Translate OCaml code to XML

More Repositories

1

base64

High-assurance base64
C
103
star
2

jotmuch

Jotmuch bookmark manager
Python
68
star
3

llvm-semantics

Formal semantics of LLVM IR in K
LLVM
43
star
4

PircBot

Java IRC bot framework
Java
25
star
5

pwclip

Hash-based password manager
Go
19
star
6

seal

Easily encrypt files, notes, and passwords
Go
18
star
7

kebab

secure backup tool (not maintained)
Go
17
star
8

haskell-semantics

Formal semantics of Haskell in K
Haskell
15
star
9

rig

random identity generator
Go
14
star
10

6.857coin

Educational cryptocurrency
Go
11
star
11

ocaml-semantics

Formal semantics of OCaml
OCaml
9
star
12

accumulator

Cryptographic accumulator
Go
9
star
13

go-crypto

Cryptographic packages for Go
Go
8
star
14

fixhub

Say Goodbye to Octicons
Python
8
star
15

PCPL

Post Correspondence Programming Language
Haskell
7
star
16

elk-docker

Deploy a secure ELK stack using Docker and LetsEncrypt
Shell
7
star
17

go-dkim

Verify DKIM signatures
Go
7
star
18

upstream

Stream audio to an Icecast server
C
6
star
19

hpygments

Highlight source code using Pygments
Haskell
5
star
20

flycrypt

Quickly encrypt strings
Go
5
star
21

musl

Fork of musl adapted for the semantics of LLVM
C
4
star
22

supergit

Manage many git repos as one
Go
4
star
23

acme-nano

Tool for generating HTTPS certificates
Go
4
star
24

maude-hs

A Haskell interface to the Maude rewriting system
Haskell
4
star
25

BLAKE

HMAC mode for BLAKE
C
4
star
26

python-drbg

Cryptographically Secure PRNG for Python
Python
4
star
27

endurance

Bot for announcing activities (runs, hikes, ...) to Slack and Keybase
Go
4
star
28

siphash-cryptol

Cryptol specification of the SipHash function
3
star
29

keccak-cryptol

Cryptol specification of the Keccak (SHA-3) hash function
3
star
30

go-libyaml

Go bindings to LibYAML
Go
3
star
31

utm

Universal Turing Machine
Haskell
3
star
32

fresh

Introduce fresh variables into Haskell source code
Haskell
2
star
33

list-all-tabs

List tabs, find duplicates, and close them
JavaScript
2
star
34

FrinkBot

Run Frink programs over IRC
Java
2
star
35

process-extras

Extra functionality for the Process library
Haskell
2
star
36

aur

AUR packages I maintain
Shell
1
star
37

ursa

Unit analysis framework
1
star
38

simon-and-speck

Cryptol specification of the Simon and Speck block ciphers
1
star
39

ReminderBot

An IRC bot that reminds you to do things
Java
1
star
40

language-k

Types and parsers for the K semantic framework
Haskell
1
star
41

generic-k

Convert Haskell values into K terms and vice versa
Haskell
1
star