• Stars
    star
    16
  • Rank 1,311,288 (Top 26 %)
  • Language
    Jupyter Notebook
  • Created about 4 years ago
  • Updated about 1 year ago

Reviews

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

Repository Details

Foundations of Computer Science notebooks

More Repositories

1

vscode-ocaml-platform

Visual Studio Code extension for OCaml
OCaml
342
star
2

ocaml-modular-implicits

OCaml extended with modular implicits
OCaml
103
star
3

compiler-hacking

Wiki for compiler hacking sessions
91
star
4

2048-tutorial

OCaml tutorial based on the 2048 game
JavaScript
49
star
5

ocaml-internals

Wiki for ocaml compiler internals
47
star
6

ocaml-macros

OCaml with macros
OCaml
29
star
7

ocaml-effects

*DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
OCaml
27
star
8

ocaml-memory-model

Shell
27
star
9

opam-doc

Produce documentation for libraries installed with OPAM
OCaml
22
star
10

opam-tools

opam plugin to initialise a local development environment for an OCaml project
OCaml
19
star
11

icfp2016-blog

Canopy blog data that powers ICFP liveblog
17
star
12

imp

Experimental library using modular implicits
OCaml
13
star
13

furore

"an outbreak of public anger or excitement" (about OCaml)
CSS
12
star
14

ocaml-scry

Foretell the future using a crystal ball
OCaml
10
star
15

ocamlot

CI and test infrastructure for OPAM packages
OCaml
10
star
16

cosmetrics

Tools to analyse open source projects
OCaml
10
star
17

opamfu

Functions over OPAM Universes
OCaml
8
star
18

popl2017-blog

8
star
19

opam-repo-dev

Development OPAM repository for work-in-progress packages
Shell
8
star
20

fpdays-skeleton

JavaScript
5
star
21

ocl-reporter

Report generator for OCaml Labs
HTML
4
star
22

activity

Ongoing activities by OCaml Labs: conferences, presentations, talks, papers, hacking sessions, demonstrations.
3
star
23

ocl-updates

Status updates for OCaml Labs, to use with ocl-reporter
Scheme
2
star
24

dockerfiles

Dockerfiles for various OCL repo projects
Shell
1
star
25

cufp-scribe

CUFP scribe notes
TeX
1
star
26

focs-201920-notebooks

Foundations of CS Jupyter notebooks for 2019-20
Jupyter Notebook
1
star
27

odoc-dev

A merged repository of all the odoc (and related repository) activity at OCaml Labs
OCaml
1
star