• Stars
    star
    36
  • Rank 735,472 (Top 15 %)
  • Language
    OCaml
  • License
    MIT License
  • Created almost 5 years ago
  • Updated 9 months ago

Reviews

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

Repository Details

A library with an encoding of higher kinded types in OCaml

More Repositories

1

magic-trace

magic-trace collects and displays high-resolution traces of what a process is doing
OCaml
4,420
star
2

core

Jane Street Capital's standard library overlay
OCaml
1,030
star
3

base

Standard library for OCaml
OCaml
849
star
4

incremental

A library for incremental computations
OCaml
797
star
5

hardcaml

Hardcaml is an OCaml library for designing hardware.
OCaml
558
star
6

learn-ocaml-workshop

Exercises and projects for Jane Street's OCaml Workshop
OCaml
460
star
7

incr_dom

A library for building dynamic webapps, using Js_of_ocaml.
OCaml
360
star
8

bonsai

A library for building dynamic webapps, using Js_of_ocaml
OCaml
340
star
9

ecaml

Writing Emacs plugin in OCaml
OCaml
242
star
10

core_kernel

Jane Street's standard library overlay (kernel)
OCaml
216
star
11

patdiff

File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/
OCaml
199
star
12

async

Jane Street Capital's asynchronous execution library
OCaml
183
star
13

iron

Jane Street code review system
149
star
14

vcaml

OCaml bindings for the Neovim API
OCaml
148
star
15

sexplib

Automated S-expression conversion
OCaml
142
star
16

ppx_expect

Cram like framework for OCaml
OCaml
130
star
17

ppx_inline_test

Syntax extension for writing in-line tests in ocaml code
OCaml
124
star
18

ppx_let

Monadic let-bindings
OCaml
108
star
19

pythonlib

A library to help writing wrappers around ocaml code for python
OCaml
94
star
20

install-ocaml

Instructions for setting up an OCaml development environment
OCaml
94
star
21

jenga

Build system
89
star
22

ppx_sexp_conv

Generation of S-expression conversion functions from type definitions
OCaml
78
star
23

torch

OCaml
74
star
24

bin_prot

Binary protocol generator
OCaml
68
star
25

ppx_optcomp

Optional compilation for OCaml
OCaml
62
star
26

memtrace

Streaming client for OCaml's Memprof
OCaml
61
star
27

ocaml_plugin

Automatically build and dynlink ocaml source files
OCaml
60
star
28

ppx_yojson_conv

[@@deriving] plugin to generate Yojson conversion functions
OCaml
58
star
29

async_kernel

Jane Street Capital's asynchronous execution library (core)
OCaml
57
star
30

ppx_fields_conv

Generation of accessor and iteration functions for ocaml records
OCaml
55
star
31

accessor

A library that makes it nicer to work with nested functional data structures
OCaml
51
star
32

opam-repository

Opam repository for the development version of Jane Street packages
51
star
33

virtual_dom

OCaml bindings for the virtual-dom library
OCaml
51
star
34

spawn

Spawning sub-processes
C
48
star
35

rpc_parallel

Type-safe library for building parallel applications, built on top of Async's Rpc module.
OCaml
47
star
36

incremental_kernel

Library for incremental computations depending only on Core_kernel
OCaml
45
star
37

core_bench

Micro-benchmarking library for OCaml
OCaml
44
star
38

sexp

S-expression swiss knife
OCaml
43
star
39

async_smtp

SMTP client and server
OCaml
42
star
40

ppx_variants_conv

Generation of accessor and iteration functions for ocaml variant types
OCaml
40
star
41

re2

OCaml bindings for RE2
C++
39
star
42

async_parallel

Distributed computing library
OCaml
35
star
43

ppx_python

[@@deriving] plugin to generate Python conversion functions
OCaml
33
star
44

stdio

Standard IO Library for OCaml
OCaml
33
star
45

parsexp

S-expression parsing library
OCaml
32
star
46

core_extended

Jane Street Capital's standard library overlay
OCaml
32
star
47

async_unix

Jane Street Capital's asynchronous execution library (unix)
OCaml
30
star
48

ocaml_intrinsics

Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on other targets.
OCaml
29
star
49

ppx_string

ppx extension for string interpolation
OCaml
28
star
50

memtrace_viewer

Interactive memory profiler based on Memtrace
OCaml
27
star
51

async_ssl

Async wrappers for ssl
OCaml
27
star
52

incr_map

Helpers for incremental operations on map like data structures.
OCaml
26
star
53

noise-wireguard-ocaml

An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.
OCaml
26
star
54

ppx_enumerate

Generate a list containing all values of a finite type
OCaml
24
star
55

ppx_jane

Standard Jane Street ppx rewriters
Makefile
23
star
56

zstandard

OCaml bindings to Zstandard
OCaml
23
star
57

tracing

Tracing library
OCaml
23
star
58

typerep

Runtime types for OCaml (beta version)
OCaml
22
star
59

camlp4-to-ppx

Convert from camlp4 + syntax extensions to regular OCaml + extension points and attributes
OCaml
22
star
60

postgres_async

OCaml/async implementation of the postgres protocol (i.e., does not use C-bindings to libpq)
OCaml
22
star
61

sexp_pretty

S-expression pretty-printer
OCaml
22
star
62

ppx_custom_printf

Printf-style format-strings for user-defined string conversion
OCaml
21
star
63

ppx_compare

Generation of comparison functions from types
OCaml
21
star
64

zarith_stubs_js

Javascripts stubs for the Zarith library
OCaml
21
star
65

fieldslib

OCaml record fields as first class values
Makefile
20
star
66

patience_diff

Tool and library implementing patience diff
OCaml
20
star
67

lwt-async

Lwt with async backend
OCaml
19
star
68

bigdecimal

Arbitrary-precision decimal based on Zarith
OCaml
19
star
69

configurator

Helper library for gathering system configuration
OCaml
19
star
70

ppx_csv_conv

Generate functions to read/write records in csv format
OCaml
19
star
71

janestreet.github.com

Front page
HTML
19
star
72

textutils

OCaml
18
star
73

ocaml-compiler-libs

compiler libraries repackaged
OCaml
18
star
74

universe

Jane Street universe
OCaml
18
star
75

jsonaf

A library for parsing, manipulating, and serializing data structured as JSON.
OCaml
18
star
76

sexplib0

Library containing the definition of S-expressions and some base converters
OCaml
17
star
77

ppx_stable

Stable types conversions generator
OCaml
17
star
78

ppx_css

A ppx that takes in css strings and produces a module for accessing the unique names defined within.
OCaml
16
star
79

core_unix

Unix-specific portions of Core
OCaml
15
star
80

async_extra

Jane Street Capital's asynchronous execution library (extra)
OCaml
15
star
81

hardcaml_of_verilog

Convert Verilog to a Hardcaml design
OCaml
15
star
82

base_quickcheck

Randomized testing framework, designed for compatibility with Base
OCaml
15
star
83

ppx_type_directed_value

Get [@@deriving]-style generation of type-directed values without writing a ppx
OCaml
15
star
84

async_websocket

A library that implements the websocket protocol on top of Async
OCaml
15
star
85

hardcaml_circuits

Hardcaml Circuits
OCaml
14
star
86

redis-async

Redis client for Async applications
OCaml
14
star
87

ppx_hash

A ppx rewriter that generates hash functions from type expressions and definitions
OCaml
14
star
88

file_path

A library for typed manipulation of UNIX-style file paths.
OCaml
14
star
89

merlin-jst

Merlin with support for Jane Street extensions
OCaml
14
star
90

ppx_assert

Assert-like extension nodes that raise useful errors on failure
OCaml
14
star
91

ppx_js_style

Code style checker for Jane Street Packages
OCaml
14
star
92

core_profiler

Profiling library
OCaml
14
star
93

result

Compat result type
OCaml
14
star
94

async_js

A small library that provide Async support for JavaScript platforms
OCaml
13
star
95

topological_sort

Topological sort algorithm
OCaml
13
star
96

hardcaml_verify

Hardcaml Verification Tools
OCaml
13
star
97

ppx_log

Ppx_sexp_message-like extension nodes for lazily rendering log messages
OCaml
13
star
98

toplevel_expect_test

Toplevel expectation test
OCaml
13
star
99

line-up-words

a small cmd line tool to align words in a sequence of lines in a smart way
OCaml
13
star
100

timezone

Time-zone handling
OCaml
12
star