• Stars
    star
    1
  • Language
    Jupyter Notebook
  • Created over 5 years ago
  • Updated about 5 years ago

Reviews

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

Repository Details

Foundations of CS Jupyter notebooks for 2019-20

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

focs-notebooks

Foundations of Computer Science notebooks
Jupyter Notebook
16
star
13

imp

Experimental library using modular implicits
OCaml
13
star
14

furore

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

ocaml-scry

Foretell the future using a crystal ball
OCaml
10
star
16

ocamlot

CI and test infrastructure for OPAM packages
OCaml
10
star
17

cosmetrics

Tools to analyse open source projects
OCaml
10
star
18

opamfu

Functions over OPAM Universes
OCaml
8
star
19

popl2017-blog

8
star
20

opam-repo-dev

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

fpdays-skeleton

JavaScript
5
star
22

ocl-reporter

Report generator for OCaml Labs
HTML
4
star
23

activity

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

ocl-updates

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

dockerfiles

Dockerfiles for various OCL repo projects
Shell
1
star
26

cufp-scribe

CUFP scribe notes
TeX
1
star
27

odoc-dev

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