Bernard Sufrin (sufrin)

sufrin

Geek Repo

0

following

0

stars

Company:Oxford University & Varomega Associates

Location:Oxford

Home Page:http://www.cs.ox.ac.uk/bernard.sufrin/

Github PK Tool:Github PK Tool

Bernard Sufrin's repositories

Glyph

Geometrically Compositional UI library for Scala

Language:HTMLLicense:MITStargazers:0Issues:0Issues:0

Logging

Simple scala logging

Language:ScalaStargazers:0Issues:0Issues:0

ThreadCSO

OCCAM-like concurrency for Scala

Language:ScalaLicense:MITStargazers:8Issues:0Issues:0
Language:ScalaStargazers:0Issues:0Issues:0

msgpack4s

A fast, streaming-friendly, type-safe, pure-Scala MessagePack library. Supercharge your microservices today!

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:ScalaStargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:0Issues:0

DeciML

Yet another little functional language -- destined for experiments with concurrency

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

TexTract

Yet another sort-of-literate programming system: see textract.pdf for detail

Language:TeXStargazers:0Issues:0Issues:0

Particles

Simple example of a hybrid concurrent implementation using [ThreadCSO](https://github.com/sufrin/ThreadCSO) barriers, semaphores, and channels.

Language:ScalaLicense:UnlicenseStargazers:1Issues:0Issues:0

Boids

Boid simulation using ThreadCSO

Language:ScalaStargazers:0Issues:0Issues:0

Listing

Listing program, generating pdf

Language:ScalaStargazers:0Issues:0Issues:0

Logpro

Prolog implementation (in Ocaml) and supporting documentation and examples

Language:TeXLicense:UnlicenseStargazers:0Issues:0Issues:0

ledit

Line editor, a la rlwrap (but written in OCaml)

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:OCamlLicense:NOASSERTIONStargazers:10Issues:0Issues:0

FemtoXML

Fast pragmatic XML parser

Language:JavaStargazers:0Issues:0Issues:0

picoXML

Fast pragmatic XML parser in Java

Language:JavaStargazers:0Issues:0Issues:0

Zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

eledit

Line editor (fork of ledit)

License:NOASSERTIONStargazers:0Issues:0Issues:0