bollu Goto Github PK

timi

A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages

tiny-optimising-compiler

A tiny *optimising* compiler for an imperative programming language written in haskell

tinyfort

Minimal fortran-ish language with LLVM backend, written for a compilers course

toaruos

A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network stack, etc.

toy-language-server

Example language server (LSP) implementation for a toy language

tvision

A modern port of Turbo Vision 2.0, the classical framework for text-based user interfaces. Now cross-platform and with Unicode support.

type-inference

Unification and type inference algorithms

unification

polymorphic type inference with unification from the Dragon book

urbit

an operating function

usaco

General Resources for Competitive Programming

vector

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

vellvm

The Vellvm II coq development.

versor

Versor Geometric Algebra Library

vim-apl

A fork of n9n/vim-apl on bitbucket

vim-jumpmotion

Jump to anywhere using any motion in all modes: Lightweight alternative to vim-easymotion

vim-sneak

The missing motion for Vim :athletic_shoe:

vis

A vi-like editor based on Plan 9's structural regular expressions

vispy

Main repository for Vispy

vispy.js

Light JavaScript version of Vispy

w

algorithms implemented in C++, written in the arthur whitney style

ward

WARD is a minimal, performant infinite whiteboard app for wacom tablets

warren

The warren abstract machine for Pascal, in Hakell

warren-cpp

An implementation of warren, the abstract machine for Prolog. Is a transcription of the lecture notes "warren's abstract machine a tutorial reconstruction"

wavesabre

Official WaveSabre repository

web-app-short-course

wheeler

The Wheeler symbolic manipulation library

wombat

Fast implementation of Word2Vec

z3

The Z3 Theorem Prover