Discover thoughtpolice/yosys-bluespec Open Source project

Stars
14
Rank 1,431,972 (Top 29 %)
Language
C++
License
ISC License
Created over 7 years ago
Updated about 3 years ago

thoughtpolice

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

Yosys plugin for synthesis of Bluespec code

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

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++

hs-noise

Usable security for the internet, Deux (in Haskell)

Haskell

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/yosys-bluespec

thoughtpolice

Reviews

Repository Details

More Repositories