let-def/Ztl let-def/Ztl

  • Stars
    star
    9
  • Rank 1,925,771 (Top 39 %)
  • Language
    OCaml
  • Created over 4 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
let-def/Ztl
github

let-def

Reviews

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

Repository Details

Z3 Type Layer: a strongly-typed interface to Z3

More Repositories

1

hotcaml

Hotcaml: an interpreter with watching and reloading
OCaml
136
star
2

lwd

Lightweight document
OCaml
117
star
3

insydious

Unlock 10 digits BIOS passwords
OCaml
100
star
4

wall

(mirror) A vector graphics renderer like NanoVG in OCaml
OCaml
75
star
5

grenier

Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)
OCaml
62
star
6

cuite

(mirror) OCaml bindings to Qt toolkit.
OCaml
62
star
7

goo

Cross-runtime object interface generation
OCaml
36
star
8

owee

OCaml library to work with DWARF format
OCaml
33
star
9

ocamp

Reactive programming… in the shell
OCaml
30
star
10

ocp-indent-vim

Integration of ocp-indent to vim.
Python
28
star
11

merlin-extend

SDK to extend Merlin
OCaml
28
star
12

cmon

A library for printing OCaml values with sharing
OCaml
25
star
13

inuit

Make interactive text-oriented user-interfaces for OCaml
OCaml
23
star
14

sturgeon

A toolkit for communicating with Emacs from OCaml
OCaml
20
star
15

texpresso

TeXpresso: live rendering and error reporting for LaTeX
C
20
star
16

lrgrep

Menhir polishing toolbox, for experienced druids
OCaml
19
star
17

camlroot

A safer C FFI for OCaml
C
18
star
18

distwit

Distribute/marshal instances of ocaml extensible variant types and exceptions
OCaml
17
star
19

stb_truetype

OCaml bindings to stb_truetype, a public domain truetype font rasterizer
C
11
star
20

assimp

Bindings to Assimp, a 3D assets (mesh, material, scenes) importer
OCaml
11
star
21

autoprinter

proof-of-concept to auto-install printer functions in the OCaml toplevel
OCaml
11
star
22

distheap

Heterogeneous heap
OCaml
10
star
23

ibutsu

C
10
star
24

stb_image

OCaml bindings to stb_image, a public domain image loader
C
9
star
25

pdfmagick

A small tool to split/cut/merge pdf files
OCaml
9
star
26

melodious

Ocsigen powered media player
OCaml
9
star
27

ocaml-introspect

Generic value printer for OCaml (to be used with tagl branch)
OCaml
9
star
28

ttx

Typedtree related tools
OCaml
8
star
29

vimbufsync

Collection of heuristics to help quickly detect modifications in vim buffers
Python
8
star
30

ocaml-recovery-parser

A simple fork of OCaml parser with support for error recovery
OCaml
8
star
31

ppx_xmatch

Mess with the semantics of pattern matching :-)
OCaml
7
star
32

stb_image_write

OCaml bindings to stb_image_write, a public domain image writer
C
7
star
33

strongenv

OCaml
7
star
34

menhir

Unofficial repository. Experimentations around menhir parser generator
OCaml
6
star
35

balanced-trees

Simple implementation of logarithmic balanced trees
OCaml
6
star
36

ocamllex-refill

Experiments around ocamllex
OCaml
4
star
37

colorfilter

A gnome extension to desaturate and filter colors
JavaScript
4
star
38

ocamlilex

A version of OCamllex that lets you access the last observed character in the buffer (useful for incrementalizing a lexer)
OCaml
3
star
39

recel

Pixelart upscaling toolkit
C
2
star
40

timetrail

A small tool to track how your virtual time is spent
OCaml
2
star
41

mulet

OCaml
1
star
42

ml-test

Exploring custom extensions to lambda calculus
Coq
1
star