More Fields

Filters

Profiles which have:

Recent Changes

Profiles with recent changes to:
Sign up to Download

1-4 of 4 results

  • www.ocaml.org
  • 2
  • 1
OCaml is used by thousands of developers, companies, research labs, teachers, and more. Learn how it fits your use case... OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety... OCaml..
Relevance: 29.33353
  • tarides.com
  • 59
Tarides is an international software company with offices in Cambridge (UK), Paris (France), and Chennai (India), founded in 2018 by pioneers of systems and functional programming. We have a worldwide presence with collaborators working remotely from..
Relevance: 5.167459
  • www.cl.cam.ac.uk
  • 7
  • 118
syslog is the blog of the University of Cambridge Computer Laboratory's Systems Research Group. Here, we talk about exciting new research in systems that is being done in the group and elsewhere...
Relevance: 2.700109
  • www.cl.cam.ac.uk
  • 16
  • 4
  • 155
BERI is an open-source platform to support research into the hardware-software interface. BERI allows investigation of research questions spanning historically siloed domains in systems research: computer architecture, compilers and programming..
Relevance: 1.942576