avsm Goto Github PK

focs-notebooks

Foundations of Computer Science notebooks

fp

ocaml code-generation for binary format parsers/constructors from a specification

froc

Functional reactive programming in OCaml

fsharp.github.io

F# GitHub Community Webpages

functoria

A DSL to invoke otherworldly functors

ghim

A command-line tool to manage Github Issues

git-delve

WIP: Delve into statistics about clusters of Git repositoris

git_filter

git_filter a filter for git

gitignore

A collection of useful .gitignore templates

go-p9p

gt06-gps

gps for my motorbike

hdiresearch.github.io

HDI

hello-world-action-ocaml

Example use of GitHub Actions with OCaml

hesternus

CLI tool to generate weekly reports for clusters of GitHub projects

homebrew

The missing package manager for OS X.

homebrew-core

🍻 Core formulae for the Homebrew package manager

homebrew-linuxkit

Homebrew tap for LinuxKit

homebrew-ocaml

A Homebrew tap for OCaml and OPAM distribution

homepage

OCaml homepage framework

hotcrp

HotCRP conference review software

http2https

HTTP to HTTPS redirector

httpaf

A high performance, memory efficient, and scalable web server written in OCaml

hyperkit-1

A toolkit for embedding hypervisor capabilities in your application

idr-ip

Dependently typed DSLs for network protocols

idris

A language with dependent types

imaplet-lwt

imaplet revamp with Lwt

infer

A static analyzer for Java, C and Objective-C

infrakit

A toolkit for creating and managing declarative, self-healing infrastructure.

install-ocaml

Instructions for setting up an OCaml development environment

io-page

IO memory page library for Mirage backends