-
Oxford University & Varomega Associates
- Oxford
- http://www.cs.ox.ac.uk/bernard.sufrin/
-
-
-
microCSO Public
Communicating Scala Objects [Simplified Implementation]
-
-
-
-
-
msgpack4s Public
Forked from velvia/msgpack4sA fast, streaming-friendly, type-safe, pure-Scala MessagePack library. Supercharge your microservices today!
Scala Other UpdatedMay 10, 2023 -
8000 div> DeciML Public
Yet another little functional language -- destined for experiments with concurrency
OCaml Other UpdatedJan 25, 2023 TexTract Public
Yet another sort-of-literate programming system: see textract.pdf for detail
TeX UpdatedAug 26, 2021 Particles Public
Simple example of a hybrid concurrent implementation using [ThreadCSO](https://github.com/sufrin/ThreadCSO) barriers, semaphores, and channels.
Logpro Public
Prolog implementation (in Ocaml) and supporting documentation and examples
TeX The Unlicense UpdatedJun 7, 2021 ledit Public
Forked from chetmurthy/leditLine editor, a la rlwrap (but written in OCaml)
OCaml Other UpdatedMar 29, 2021 Zarith Public
Forked from ocaml/ZarithThe Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
OCaml Other UpdatedApr 17, 2018 eledit Public
Forked from mjambon/eleditLine editor (fork of ledit)
OCaml Other UpdatedAug 16, 2013