bobatkey/unboxed bobatkey/unboxed

  • Stars
    star
    26
  • Rank 904,516 (Top 19 %)
  • Language
    OCaml
  • Created over 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bobatkey/unboxed
github

bobatkey

Reviews

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

Repository Details

Unboxed arrays for OCaml

More Repositories

1

sott

Simplified Observational Type Theory
OCaml
78
star
2

modulog

A Datalog implementation with an OCaml inspired module system
OCaml
43
star
3

CS316-19

The 2019/2020 edition of Strathclyde's CS316 Functional Programming course
Haskell
40
star
4

ocamlmvc

An MVC library for writing interactive webpages in OCaml
OCaml
35
star
5

CS316-18

The 2018-19 edition of Strathclyde's CS316 "Functional Programming" course
Haskell
31
star
6

foveran

A Dependently Typed Programming Language
Haskell
28
star
7

CS316-2020

The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
Haskell
25
star
8

agda-metric-reals

Agda
24
star
9

system-f-parametricity-model

A Model of Relationally Parametric System F in Coq
Coq
22
star
10

CS316-17

The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course
Haskell
21
star
11

interactive-natural-deduction

An editor for interactively building natural deduction proofs
OCaml
20
star
12

CS316-2022

Materials for the 2022-2023 edition of CS316 "Functional Programming"
Haskell
19
star
13

sorting-types

Typed DSLs for sorting
Agda
18
star
14

playtime

An OCaml EDSL for describing and solving strategic games
OCaml
16
star
15

authenticated-data-structures

An implementation of generic authenticated data structures in OCaml
OCaml
16
star
16

algebraically-indexed-types

Repository for documents and experiments to do with algebraically-indexed types
TeX
13
star
17

Forvie

Some Programming Language Description and Processing Tools in Haskell
Haskell
6
star
18

CS316-2023

CS316 "Functional Programming" 2023/24 edition
Haskell
5
star
19

interactive-logic-course

Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)
OCaml
5
star
20

array-mapped-trie

An Array Mapped Trie implementation in OCaml
OCaml
5
star
21

semantic-cut-elimination

Cut-elimination by Semantic Means
Agda
5
star
22

qtt-models

Formalisations of interesting models of QTT
TeX
3
star
23

ppx-monoid

OCaml
3
star
24

acfg-parser

Parser for Active Context Free Grammars
Haskell
3
star
25

pretty-monospace

An OCaml pretty-printing library for monospaced text
OCaml
3
star
26

parser-combinators-intro

Slides for an introductory talk on Parser Combinators
Haskell
2
star
27

ppx-markdown

OCaml PPX extension for including markdown in OCaml source files
OCaml
2
star
28

CS316-2021

The 2021/22 edition of Strathclyde's Functional Programming course in Haskell
Haskell
2
star
29

clocked-types

2
star
30

polly

A simple language for services
OCaml
2
star
31

camlcheck

An OCaml QuickCheck clone
OCaml
1
star
32

access_log

OCaml
1
star
33

ulmus

Ulmus
OCaml
1
star
34

approx-diff

Approximation as Differentiation
Agda
1
star
35

Inductors

Notes and implementations of inductors
1
star