yallop/generalized-partial-computation-bibliography yallop/generalized-partial-computation-bibliography

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
  • Created over 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
yallop/generalized-partial-computation-bibliography
github

yallop

Reviews

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

Repository Details

Generalized Partial Computation Bibliography

More Repositories

1

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects
941
star
2

ocaml-ctypes

Library for binding to C libraries using pure OCaml
OCaml
344
star
3

higher

Higher-kinded programming in OCaml
OCaml
176
star
4

icfp2014-papers

Accepted papers for ICFP 2014
121
star
5

ocaml-asp

Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
OCaml
88
star
6

popl2015-papers

Accepted papers for POPL 2015
68
star
7

fomega

System Fω interpreter for use in Advanced Functional Programming course
OCaml
64
star
8

ocaml-integers

Various signed and unsigned integer types for OCaml
OCaml
57
star
9

haskell2014-papers

Accepted papers for Haskell 2014
52
star
10

ocaml-re-nfa

OCaml code to construct an NFA from a regular expression
OCaml
47
star
11

ocaml-ctypes-inverted-stubs-example

Example showing how to turn OCaml code (here Xmlm) into a C library.
OCaml
40
star
12

ocaml-flap

A deterministic parser with fused lexing
OCaml
34
star
13

ocaml-pb

An OCaml library for describing Protobuf messages
OCaml
30
star
14

staged-generic-programming

Code for "Staged Generic Programming" (ICFP 2017)
OCaml
26
star
15

ocaml-charset

Fast char sets
OCaml
20
star
16

ocaml-memcpy

OCaml
20
star
17

metaocaml-letrec

flexible 'let rec' generation for MetaOCaml
OCaml
19
star
18

ocaml-syb

Scrap Your Boilerplate for OCaml with modular implicits
OCaml
18
star
19

metaocaml-syb

Scrap Your Boilerplate for MetaOCaml with modular implicits
OCaml
18
star
20

ocaml-pb-plugin

A protoc plugin for generating OCaml code from protobuf (.proto) files.
OCaml
17
star
21

pldi2014-papers

Accepted papers for PLDI 2014
16
star
22

ocaml-safe-string-buffer

A buffer implementation optimized for immutable strings.
OCaml
14
star
23

ocaml-bindings-generator

OCaml
9
star
24

causal-commutative-arrows-revisited

Causal commutative arrows revisited: an optimizing arrow library
Haskell
9
star
25

metaocaml-charmatch

OCaml
8
star
26

ocaml-posix-types

ctypes-compatible type representations for the types exposed in <sys/types.h>
OCaml
8
star
27

ocaml-unix-type-representations

Functions that expose the underlying types of some abstract types in the Unix module.
OCaml
8
star
28

ocaml-reex

Staged regular expression library for MetaOCaml
OCaml
7
star
29

code-snippets

miscellanea
OCaml
6
star
30

ocaml-ctypes-build

OCaml
5
star
31

ocaml-ctypes-foreign-example

Example showing how to bind to a C library (here libncurses) dynamically using ocaml-ctypes.
OCaml
5
star
32

gaussian-elimination

OCaml
4
star
33

irmin-inverted-stubs

OCaml
4
star
34

ocaml-ctypes-expat-example

OCaml
3
star
35

intrinsics-report

OCaml
3
star
36

advanced-fp-repo

OPAM repository for the Advanced Functional Programming course
2
star
37

ocaml-patterns

Automatically exported from code.google.com/p/ocaml-patterns
2
star
38

ocaml-java-types

ocaml-java-types
OCaml
2
star
39

check-markdown-urls

Python
1
star
40

ocaml-windows-segfault

OCaml
1
star
41

ocaml-ctypes-skeleton

Makefile
1
star