Deian Stefan

SSH server for handling git-{upload,receive}-pack with custom authentication

GPU eSTREAM framework

CubeAttack framework implemented in CUDA (TRIVIUM & MICKEY as example targets)

No description.

Formal semantics for LIO

Learn by Hacking. A web app for writing interactive tutorials on how to write code.

Labeled IO Library Mirror

Read-only GitHub-like HTTP API atop nodegit using express

No description.

General channel mitigation library

The Disjunction Category Label Format

A blazingly fast HTML combinator library for Haskell.

Generic building blocks for creating servers using IterIO

No description.

Simple function hooks

Firefox password manager companion: autofill forms by right-clicking

A fast Haskell JSON library

bindings to libattr for haskell

zoobar

Building simplified LIO lecture

Gitstar policy module

A class for monads which can keep a stack trace

Hails cjail inteface

Hails deployment binary

Hails dynamic app loader

Explicitly Typed exceptions as a library

A preprocessor for the monadloc package

Hails authentication system

Fast base64 encoding and decoding for Haskell.

Helps you easily create GitHub-style buttons and toolbars using links, buttons, and inputs.

Gitstar markup-based, git-oriented wiki app

Universal markup converter

Gitstar code browser

GitHub style api for git repositories

Grit gives you object oriented read/write access to Git repositories via Ruby.

Haskell SSH Library

Gitstar ssh service

Mirror of Structured MongoDB package

MongoDB driver for Haskell

Mirror of packages-unix repository. DO NOT SUBMIT PULL REQUESTS HERE

CosmWasm smart contracts for rollup BSN integration

A sandbox repo for reasoning about inline assembly in the Tock OS

No description.

No description.

Production repository for the all-new Advantage360 Professional using ZMK engine

No description.

Working examples of common configurations using mocha ☕️

Standalone JIT-style runtime for WebAssembly, using Cranelift

Mozilla and GSOC 2020

A library for generating RSS 2.0 feeds.

"Stable Hackage": vetted consistent packages from Hackage

Constant-Time Floating Point

An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.

Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:

Status, process, and documents for ECMA262

No description.

ES5 shim for ES6 Reflect and Proxy objects

Test Anything Protocol tools for node

Fork of WebAppSec [PRs/issues should be submitted to w3c]

No description.

No description.

LevelUP package helper for distributing with a LevelDOWN-compatible back-end

The public website for De Goes Consulting Inc.

Idea about Safe Haskell/RIO/LIO

A simple conference review system.

ORM to manage Git objects over HTTP

PLAS 2014 demo on LIO

Haskell Symposium 2014 demo on LIO

Tex files for COWL (aka Nappy, aka SWAPI, aka Browbound) paper

A Low-level Node.js binding for libssh

No description.

A Browser for the Power-User. Free, Usable, Scriptable & Distributed.

No description.

C++ implementation of the DCLabel model

Semantics for ES5

A git clone of mozilla-central, with full history.

Examples for Nappy

Nappy meta-extension and manager

No description.

A library of large (fixed size) ints, words, and fixed point numbers.

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE

Online version of GHCi that supports safely executing untrusted code.

Framework for running and organising QuickCheck test properties and HUnit test cases