Skip to content
Pro
Block or report user

Report or block farre

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
Block or report user

Report or block farre

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Haskell WebAssembly Toolkit

WebAssembly 52 9 Updated Jul 16, 2019

Program Synthesis Course

82 8 Updated Dec 7, 2018

How to create an OS from scratch

C 16,062 1,751 Updated Aug 15, 2019

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Haskell 499 17 Updated Aug 19, 2019

Dynamic function call interposition / hooking (LD_PRELOAD) for Rust

Rust 74 7 Updated Mar 31, 2019

IPDL parser written in Rust

Rust 3 5 Updated Apr 23, 2019

Browsix is a Unix-like operating system for the browser.

JavaScript 2,241 142 Updated Jun 1, 2019

Nix expressions for cross compiling to WebAssembly

Nix 95 4 Updated Apr 5, 2019

CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

Python 725 86 Updated Aug 22, 2019

Depixeling tool, based on "Depixelizing Pixel Art".

Python 186 25 Updated Sep 21, 2016

Library for Algebraic Effect Handlers in Haskell

HTML 5 1 Updated Feb 28, 2016

Helm source and actions to manage processes

Emacs Lisp 10 5 Updated Oct 7, 2016

Ruby tool for importing existing svn projects into git.

Ruby 1,918 374 Updated Jun 6, 2019

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)

C 2,807 594 Updated Aug 22, 2019

JOP is a Java processor for real-time systems

Java 78 42 Updated May 28, 2014

Source repo for the book

HTML 2,534 384 Updated Jun 19, 2017

A client-side JS wrapper for the Spotify Web API

TypeScript 838 131 Updated Aug 20, 2019

Calculate the BPM of a song using the Audio API

JavaScript 270 50 Updated Aug 8, 2016

Asynchronous socket, http(s) (client+server) and websocket library for android. Based on nio, not threads.

Java 6,300 1,413 Updated Aug 20, 2019
JavaScript 4 Updated Jan 25, 2018

Experimental Servo browser built in HTML

JavaScript 2,630 177 Updated Jul 27, 2018

Network utility for sending / receiving TCP, UDP, SSL

C++ 1,031 205 Updated Jul 30, 2019

Tiling Window Manager for Windows

AutoHotkey 1,731 127 Updated Jul 19, 2019

Roslyn based C# heap allocation diagnostic analyzer that can detect explicit and many implicit allocations like boxing, display classes a.k.a closures, implicit delegate creations, etc.

C# 364 37 Updated May 17, 2019

xmppwebchat

HTML 22 17 Updated Nov 5, 2015

C++ Foreign Import Generation

Haskell 34 Updated Oct 15, 2014

Inline C & Objective-C in Haskell

Haskell 140 14 Updated Jul 30, 2017

A command-line based markdown presentation tool.

C 3,431 179 Updated Jul 8, 2019

Call all Node.js modules directly from DOM/WebWorker and enable a new way of writing applications with all Web technologies.

C++ 35,760 3,817 Updated Aug 12, 2019

A Git related tool to split a subdirectory and its commit history from a Git Repo and crate a new repo that can be used as a submodule in the same path as the original code, as well as reversing th…

Python 23 6 Updated Dec 18, 2012
Next
You can’t perform that action at this time.