aweis Goto Github PK

15-237hw4

15-237hw7

ale

Asynchronous linting/fixing for Vim and Language Server Protocol (LSP) integration

async_ssl

Async wrappers for ssl

bonsai

A library for building dynamic webapps, using Js_of_ocaml

click

The Click modular router: fast modular packet processing and analysis

coc.nvim

Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.

core_kernel

Jane Street's standard library overlay (kernel)

course-api

The new version of the Scheduling API, now with prerequisites, course descriptions, and more!

dotfiles

vim, bash, tmux, git, etc settings

esy

package.json workflow for native development with Reason/OCaml

forensic-cs

forensic-storyboarding

ghc

first version of our techstartup app

glow

Compiler for Neural Network hardware accelerators

irmin

Irmin is a distributed database that follows the same design principles as Git

irmin-indexeddb

An Irmin backend for a web browser's IndexedDB store

irmin-test

testing irmin

irmin-web

Esy ReasonML application for a store backed by irmin compiled with js_of_ocaml

lightboard

linux

Linux kernel source tree

locationapp

ocaml-ctypes

Library for binding to C libraries using pure OCaml

ppx_quick_test

Spiritual equivalent of let%expect_test, but for property based tests as an ergonomic wrapper to write quickcheck tests.

project-euler

Project Euler in Java, Ruby and Haskell

qim

A Vim-Quip Plugin

rails_importer

Example rails database importer for www.scheduleplus.org

reserver

A development WebServer written in ReasonML

scm_breeze

Basic Mercurial support (WIP)

subdomain-fu

A new plugin approach to attempting to solve the usage of subdomains in linking and routing in Rails projects.