Discover thoughtpolice/hs-noise Open Source project

Stars
5
Rank 2,861,937 (Top 57 %)
Language
Haskell
License
MIT License
Created over 10 years ago
Updated over 10 years ago

thoughtpolice

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Usable security for the internet, Deux (in Haskell)

minibsdiff

A miniature, portable version of bsdiff.

123

heroku-ping

A utility to ping heroku web applications and keep them alive.

Ruby

eris

Serve your /nix/store directory over the internet ✨

Perl

enable_arm_pmu

Enable user-mode access to ARMv7/Linux performance counters

buck2-nix

Do not taunt happy fun ball

Starlark

clash-playground

A Clash playground/starter kit, using Nix

Haskell

nixos-zerotier-dns

My ZeroTier DNS modules

Nix

strict-ghc-plugin

A plugin for GHC to turn Haskell into a strict language

Haskell

salt

Fast cryptographic networking for Haskell

Assembly

rv32-sail

32-bit RISC-V Emulator

dynasm-example

example of the DynASM library

asc

Austin's supercompiler work

Haskell

hs-ed25519

Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.

libfault

Simple C library for basic crash reporting functionality, based on Phusion Passenger.

hs-nacl

Modern Haskell Cryptography

cryptol-mode

A Cryptol major mode for Emacs.

Emacs Lisp

yosys-bluespec

Yosys plugin for synthesis of Bluespec code

C++

claap

"An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)

Haskell

nacl-jit

Example of using JIT'd code inside Native Client

hs-asai

Delimited, answer-type-polymorphic continuations for Haskell.

Haskell

coq-skeleton

A simple skeleton for Coq projects

Coq

sqlite4_lsm_lz4

SQLite4 Log-structured merge-tree (LSM) compression demo.

cse-ghc-plugin

common subexpression elimination plugin for GHC

Haskell

hs-cityhash

Haskell binding to google cityhash

C++

bootstrap.nix

code to bootstrap my nix projects

Nix

bucktools

Tools for the Buck2 build system

Starlark

dev-randomdotorg

Linux kernel driver interface to random.org, providing an atmosphere-powered random block device

haskell-donate

👏 give 👏 us 👏 money

Haskell

narinfo-tools

Simple collection of narinfo tools

Rust

shake-extras

Extras for the Shake build system

Haskell

foundationdb-k8s

Experiments with FoundationDB Simulation on Kubernetes

Shell

clash-docs

(EXPERIMENTAL) Sphinx documentation for Clash

Python

heroku-stripe-donate

Simple Ruby server for Stripe Donations, designed for Heroku.

Ruby

libphutil-yubikey

Yubikey OTP authentication for Phabricator

PHP

homebrew-personal

Personal homebrew tap

Ruby

embedding-server

Stateless HTTP service for computing sentence embeddings

Python

regalloc-bkp

Attempt at a modular register allocator interface

Haskell

bcachefs-tools

http://bcachefs.org

bf-pypy

A brainfuck JIT using RPython

Python

pcap-conduit

Conduit <-> libpcap interface

Haskell

hs-curve25519

Minimal curve25519 Haskell package.

hs-poly1305

Minimal poly1305 Haskell package.

Haskell

hs-vix

Haskell bindings to VMware's VIX API.

Haskell

dockerfiles

My personal collection of Dockerfiles

Shell

nix-makeself

Create binary packages from Nix closures

Perl

AHA

Slides for my monthly AHA talks

hs-hmac-sha512256

Minimal HMAC-SHA-512-56 Haskell package.

ghc-prim-compat

Compatibility shim for GHC primops

Haskell

bors-tests

Nix

tree-sitter-openddl

a tree-sitter grammar, for OpenDDL v2.0

JavaScript

hs-microtimer

A tiny Haskell library for benchmarking IO actions.

Haskell

fdblog2clickhouse

Ingest FoundationDB Logs into ClickHouse

Python

nix-mirror-old

Mirroring system for upstream nixos.org binary caches

JavaScript

network-data-conduit

A conduit for parsing data into TCP/IP/UDP headers and frames

Haskell

hs-siphash2448

Minimal siphash24-MAC/siphash28-MAC Haskell package.

Haskell

thoughtpolice/hs-noise

thoughtpolice

Reviews

Repository Details

More Repositories