thoughtpolice/yosys-web Fork of YosysHQ/yosys-web

Yosys Web Page

Language: HTML - Size: 4.46 MB - Last synced: 13 days ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

thoughtpolice/yosys Fork of YosysHQ/yosys

Yosys Open SYnthesis Suite

Language: C++ - Size: 6.58 MB - Last synced: 13 days ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

thoughtpolice/verilator Fork of verilator/verilator

Verilator open-source SystemVerilog simulator and lint system

Size: 9.51 MB - Last synced: 13 days ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

thoughtpolice/vector Fork of vectordotdev/vector

A High-Performance, Logs, Metrics, & Events Router

Size: 8.33 MB - Last synced: 13 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

thoughtpolice/u-boot Fork of u-boot/u-boot

My U-Boot fork

Language: C - Size: 119 MB - Last synced: 13 days ago - Pushed: over 6 years ago - Stars: 2 - Forks: 0

thoughtpolice/tree-sitter-openddl

a tree-sitter grammar, for OpenDDL v2.0

Language: JavaScript - Size: 16.6 KB - Last synced: 13 days ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

thoughtpolice/thoughtpolice

Size: 1000 Bytes - Last synced: 13 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

thoughtpolice/stripe Fork of dmjio/stripe

:moneybag: Stripe API for Haskell

Language: Haskell - Size: 576 KB - Last synced: 13 days ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

thoughtpolice/sql-ber

Language: OCaml - Size: 1.95 KB - Last synced: 13 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

thoughtpolice/splice Fork of corsis/splice 📦

A Haskell library that implements most efficient socket to socket data transfer loops for proxy servers on every operating system using and exposing related OS-specific system calls.

Language: Haskell - Size: 174 KB - Last synced: 13 days ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0

thoughtpolice/spectacle Fork of awakesecurity/spectacle

Embedded specification language & model checker in Haskell

Size: 257 KB - Last synced: 13 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

thoughtpolice/salt

Fast cryptographic networking for Haskell

Language: Assembly - Size: 1.87 MB - Last synced: 13 days ago - Pushed: over 11 years ago - Stars: 24 - Forks: 1

thoughtpolice/shake Fork of ndmitchell/shake

Shake build system

Language: Haskell - Size: 8.55 MB - Last synced: 13 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

thoughtpolice/sail Fork of rems-project/sail

Sail architecture definition language

Language: Standard ML - Size: 37.4 MB - Last synced: 13 days ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

thoughtpolice/saw-script Fork of GaloisInc/saw-script

The SAW scripting language.

Language: Haskell - Size: 7.56 MB - Last synced: 13 days ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

thoughtpolice/remote-tsdb-clickhouse Fork of jamessanford/remote-tsdb-clickhouse

A remote writer/reader for Prometheus that stores TSDB data in ClickHouse

Language: Go - Size: 97.7 KB - Last synced: 13 days ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

thoughtpolice/regalloc-bkp

Attempt at a modular register allocator interface

Language: Haskell - Size: 7.81 KB - Last synced: 13 days ago - Pushed: over 6 years ago - Stars: 3 - Forks: 0

thoughtpolice/quick-fastly-logger

Simple logging endpoint for any Fastly service, using syslog

Language: Nix - Size: 18.6 KB - Last synced: 13 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

thoughtpolice/owl-lisp-hex

mirror of https://gitlab.com/owl-lisp/hex.git

Language: Scheme - Size: 1.95 KB - Last synced: 13 days ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

thoughtpolice/picorv32 Fork of YosysHQ/picorv32

PicoRV32 - A Size-Optimized RISC-V CPU

Language: Verilog - Size: 779 KB - Last synced: 13 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

thoughtpolice/pfsense Fork of pfsense/pfsense 📦

Main repository for pfSense

Language: PHP - Size: 85.7 MB - Last synced: 13 days ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

thoughtpolice/ofborg Fork of NixOS/ofborg

@grahamcofborg tooling automation https://monitoring.nix.ci/dashboard/db/ofborg

Language: Rust - Size: 1.19 MB - Last synced: 13 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

thoughtpolice/nixpkgs Fork of NixOS/nixpkgs

Nix Packages collection

Language: Nix - Size: 3.52 GB - Last synced: 13 days ago - Pushed: 29 days ago - Stars: 1 - Forks: 1

thoughtpolice/orleans Fork of dotnet/orleans

Orleans is a cross-platform framework for building distributed applications with .NET

Size: 57 MB - Last synced: 13 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

thoughtpolice/nix-mirror-old 📦

Mirroring system for upstream nixos.org binary caches

Language: JavaScript - Size: 35.2 KB - Last synced: 13 days ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

thoughtpolice/narinfo-tools

Simple collection of narinfo tools

Language: Rust - Size: 20.5 KB - Last synced: 13 days ago - Pushed: almost 2 years ago - Stars: 4 - Forks: 0

thoughtpolice/nix Fork of NixOS/nix

Nix, the purely functional package manager

Language: C++ - Size: 20.7 MB - Last synced: 13 days ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

thoughtpolice/nix-makeself

Create binary packages from Nix closures

Language: Perl - Size: 17.6 KB - Last synced: 13 days ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

thoughtpolice/nacl-jit 📦

Example of using JIT'd code inside Native Client

Language: C - Size: 230 KB - Last synced: 13 days ago - Pushed: almost 12 years ago - Stars: 8 - Forks: 0

thoughtpolice/micro-ci Fork of ocharles/micro-ci

A tiny CI server built around GitHub and Nix

Language: Haskell - Size: 81.1 KB - Last synced: 13 days ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

thoughtpolice/liquidhaskell Fork of ucsd-progsys/liquidhaskell 📦

Liquid Types For Haskell

Language: Haskell - Size: 18.4 MB - Last synced: 13 days ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

thoughtpolice/linux Fork of torvalds/linux

Linux kernel source tree

Language: C - Size: 2 GB - Last synced: 13 days ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

thoughtpolice/libphutil-yubikey

Yubikey OTP authentication for Phabricator

Language: PHP - Size: 40 KB - Last synced: 13 days ago - Pushed: about 7 years ago - Stars: 4 - Forks: 0

thoughtpolice/libphutil-backblaze

Backblaze B2 storage backend for Phabricator.

Language: PHP - Size: 12.7 KB - Last synced: 13 days ago - Pushed: about 8 years ago - Stars: 0 - Forks: 1

thoughtpolice/libhandler Fork of koka-lang/libhandler

Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.

Size: 444 KB - Last synced: 13 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

thoughtpolice/icestorm Fork of YosysHQ/icestorm

Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentaion (Reverse Engineered)

Language: Python - Size: 866 KB - Last synced: 13 days ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

thoughtpolice/hs-vix 📦

Haskell bindings to VMware's VIX API.

Language: Haskell - Size: 141 KB - Last synced: 13 days ago - Pushed: about 11 years ago - Stars: 2 - Forks: 1

thoughtpolice/hs-whistlepig 📦

Haskell bindings to a minimalist, realtime, full-text search engine

Language: C - Size: 311 KB - Last synced: 13 days ago - Pushed: about 11 years ago - Stars: 0 - Forks: 0

thoughtpolice/hs-siphash2448

Minimal siphash24-MAC/siphash28-MAC Haskell package.

Language: Haskell - Size: 105 KB - Last synced: 13 days ago - Pushed: over 10 years ago - Stars: 1 - Forks: 0

thoughtpolice/hs-poly1305

Minimal poly1305 Haskell package.

Language: Haskell - Size: 109 KB - Last synced: 13 days ago - Pushed: over 10 years ago - Stars: 2 - Forks: 0

thoughtpolice/hs-noise

Usable security for the internet, Deux (in Haskell)

Language: Haskell - Size: 289 KB - Last synced: 13 days ago - Pushed: about 10 years ago - Stars: 5 - Forks: 0

thoughtpolice/hs-leveldb 📦

Haskell bindings to LevelDB

Language: C++ - Size: 535 KB - Last synced: 13 days ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0

thoughtpolice/hs-nacl 📦

Modern Haskell Cryptography

Language: C - Size: 1.61 MB - Last synced: 13 days ago - Pushed: almost 10 years ago - Stars: 18 - Forks: 2

thoughtpolice/hs-hmac-sha512256

Minimal HMAC-SHA-512-56 Haskell package.

Language: C - Size: 113 KB - Last synced: 13 days ago - Pushed: over 10 years ago - Stars: 1 - Forks: 0

thoughtpolice/hs-curve25519

Minimal curve25519 Haskell package.

Language: C - Size: 109 KB - Last synced: 13 days ago - Pushed: over 10 years ago - Stars: 2 - Forks: 0

thoughtpolice/hs-bsdiff 📦

Haskell bindings to bsdiff

Language: C - Size: 188 KB - Last synced: 13 days ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0

thoughtpolice/hs-blake

Minimal BLAKE Haskell package.

Language: C - Size: 121 KB - Last synced: 13 days ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

thoughtpolice/homebrew-personal 📦

Personal homebrew tap

Language: Ruby - Size: 158 KB - Last synced: 13 days ago - Pushed: about 11 years ago - Stars: 3 - Forks: 2

thoughtpolice/hs-asai

Delimited, answer-type-polymorphic continuations for Haskell.

Language: Haskell - Size: 645 KB - Last synced: 13 days ago - Pushed: over 11 years ago - Stars: 7 - Forks: 0

thoughtpolice/heroku-stripe-donate 📦

Simple Ruby server for Stripe Donations, designed for Heroku.

Language: Ruby - Size: 16.6 KB - Last synced: 13 days ago - Pushed: about 8 years ago - Stars: 4 - Forks: 3

thoughtpolice/heroku-ping 📦

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

Language: Ruby - Size: 163 KB - Last synced: 13 days ago - Pushed: over 9 years ago - Stars: 82 - Forks: 22

thoughtpolice/ghc Fork of ghc/ghc

My fork of GHC

Language: Haskell - Size: 156 MB - Last synced: 13 days ago - Pushed: over 6 years ago - Stars: 2 - Forks: 0

thoughtpolice/helium-api-examples Fork of novalabsxyz/api-examples 📦

Sample apps and services for the Helium API

Language: Lua - Size: 6.44 MB - Last synced: 13 days ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

thoughtpolice/ghc-typelits-natnormalise Fork of clash-lang/ghc-typelits-natnormalise

Normalise GHC.TypeLits.Nat equations

Language: Haskell - Size: 133 KB - Last synced: 13 days ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

thoughtpolice/ghc-proposals Fork of tweag/ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Size: 251 KB - Last synced: 13 days ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

thoughtpolice/ghc-prim-compat

Compatibility shim for GHC primops

Language: Haskell - Size: 117 KB - Last synced: 13 days ago - Pushed: about 10 years ago - Stars: 1 - Forks: 0

thoughtpolice/haskell-donate

:clap: give :clap: us :clap: money

Language: Haskell - Size: 67.4 KB - Last synced: 13 days ago - Pushed: over 7 years ago - Stars: 4 - Forks: 0

thoughtpolice/garbage

Everyone has some garbage lying around

Size: 0 Bytes - Last synced: 13 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

thoughtpolice/foundationdb-rs Fork of Clikengo/foundationdb-rs

FoundationDB Rust client api

Language: Rust - Size: 287 KB - Last synced: 13 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

thoughtpolice/foundationdb-k8s

Experiments with FoundationDB Simulation on Kubernetes

Language: Shell - Size: 19.5 KB - Last synced: 13 days ago - Pushed: about 5 years ago - Stars: 4 - Forks: 0

thoughtpolice/foundationdb Fork of apple/foundationdb

FoundationDB - the open source, distributed, transactional key-value store

Language: C++ - Size: 16.7 MB - Last synced: 13 days ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

thoughtpolice/ekg-core Fork of tibbe/ekg-core

Library for tracking system metrics

Size: 87.9 KB - Last synced: 13 days ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0

thoughtpolice/edwards.cry

edwards curves in cryptol

Size: 5.86 KB - Last synced: 13 days ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

thoughtpolice/dynasm-example 📦

example of the DynASM library

Language: C - Size: 292 KB - Last synced: 13 days ago - Pushed: almost 13 years ago - Stars: 22 - Forks: 4

thoughtpolice/dockerfiles 📦

My personal collection of Dockerfiles

Language: Shell - Size: 10.6 MB - Last synced: 13 days ago - Pushed: over 10 years ago - Stars: 2 - Forks: 4

thoughtpolice/dev-randomdotorg 📦

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

Language: C - Size: 148 KB - Last synced: 13 days ago - Pushed: almost 12 years ago - Stars: 5 - Forks: 0

thoughtpolice/cryptol Fork of GaloisInc/cryptol

Cryptol: The Language of Cryptography

Language: Haskell - Size: 22 MB - Last synced: 13 days ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

thoughtpolice/coq-skeleton

A simple skeleton for Coq projects

Language: Coq - Size: 110 KB - Last synced: 13 days ago - Pushed: over 9 years ago - Stars: 7 - Forks: 1

thoughtpolice/clash-prelude Fork of clash-lang/clash-prelude 📦

CLaSH prelude library containing datatypes and functions for circuit design

Language: Haskell - Size: 2.93 MB - Last synced: 13 days ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

thoughtpolice/clash-compiler Fork of clash-lang/clash-compiler

CAES Language for Synchronous Hardware

Language: Haskell - Size: 4.8 MB - Last synced: 13 days ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

thoughtpolice/clash-docs 📦

(EXPERIMENTAL) Sphinx documentation for Clash

Language: Python - Size: 39.1 KB - Last synced: 13 days ago - Pushed: over 6 years ago - Stars: 4 - Forks: 1

thoughtpolice/claap

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

Language: Haskell - Size: 82 KB - Last synced: 13 days ago - Pushed: about 7 years ago - Stars: 13 - Forks: 0

thoughtpolice/chainweb-node Fork of kadena-io/chainweb-node

Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput

Size: 11.4 MB - Last synced: 13 days ago - Pushed: 22 days ago - Stars: 0 - Forks: 0

thoughtpolice/cabal Fork of haskell/cabal

Official upstream development repository for Cabal and cabal-install

Language: Haskell - Size: 25.2 MB - Last synced: 13 days ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

thoughtpolice/bors-tests

Language: Nix - Size: 55.7 KB - Last synced: 13 days ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

thoughtpolice/bsc Fork of B-Lang-org/bsc

Bluespec Compiler (BSC)

Size: 35.7 MB - Last synced: 13 days ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

thoughtpolice/bootstrap.nix

code to bootstrap my nix projects

Language: Nix - Size: 25.4 KB - Last synced: 13 days ago - Pushed: over 3 years ago - Stars: 5 - Forks: 0

thoughtpolice/asc

Austin's supercompiler work

Language: Haskell - Size: 22.5 KB - Last synced: 13 days ago - Pushed: over 4 years ago - Stars: 21 - Forks: 0

thoughtpolice/libfault

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

Language: C - Size: 34.2 KB - Last synced: 13 days ago - Pushed: about 6 years ago - Stars: 21 - Forks: 2

thoughtpolice/embedding-server

Stateless HTTP service for computing sentence embeddings

Language: Python - Size: 52.7 KB - Last synced: 13 days ago - Pushed: 19 days ago - Stars: 3 - Forks: 1

thoughtpolice/buck2-nix

Do not taunt happy fun ball

Language: Starlark - Size: 776 KB - Last synced: 13 days ago - Pushed: 3 months ago - Stars: 54 - Forks: 3

thoughtpolice/jj Fork of martinvonz/jj

A Git-compatible DVCS that is both simple and powerful

Language: Rust - Size: 16.6 MB - Last synced: 13 days ago - Pushed: 25 days ago - Stars: 0 - Forks: 0

thoughtpolice/minibsdiff

A miniature, portable version of bsdiff.

Language: C - Size: 73.2 KB - Last synced: 13 days ago - Pushed: over 6 years ago - Stars: 120 - Forks: 28

thoughtpolice/enable_arm_pmu

Enable user-mode access to ARMv7/Linux performance counters

Language: C - Size: 105 KB - Last synced: 13 days ago - Pushed: almost 3 years ago - Stars: 76 - Forks: 48

thoughtpolice/rv32-sail

32-bit RISC-V Emulator

Language: C - Size: 272 KB - Last synced: 13 days ago - Pushed: about 5 years ago - Stars: 22 - Forks: 1

thoughtpolice/hs-ed25519

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

Language: C - Size: 204 KB - Last synced: 13 days ago - Pushed: 6 months ago - Stars: 21 - Forks: 19

thoughtpolice/eris

Serve your /nix/store directory over the internet :sparkles:

Language: Perl - Size: 124 KB - Last synced: 13 days ago - Pushed: over 2 years ago - Stars: 77 - Forks: 4

thoughtpolice/bcachefs-tools

http://bcachefs.org

Language: C - Size: 2.24 MB - Last synced: 13 days ago - Pushed: almost 6 years ago - Stars: 3 - Forks: 74

thoughtpolice/nixos-zerotier-dns

My ZeroTier DNS modules

Language: Nix - Size: 18.6 KB - Last synced: 13 days ago - Pushed: almost 4 years ago - Stars: 29 - Forks: 4

thoughtpolice/yowasp-runtime-js Fork of YoWASP/runtime-js

Common runtime for YoWASP packages deployed to NPM, interfacing with Node.js and the browser

Size: 46.9 KB - Last synced: 13 days ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

thoughtpolice/clash-playground

A Clash playground/starter kit, using Nix

Language: Haskell - Size: 62.5 KB - Last synced: 13 days ago - Pushed: over 5 years ago - Stars: 33 - Forks: 6

thoughtpolice/reapi-server

Language: Rust - Size: 120 KB - Last synced: 13 days ago - Pushed: 9 months ago - Stars: 5 - Forks: 1

thoughtpolice/sqlite4_lsm_lz4 📦

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

Language: C - Size: 996 KB - Last synced: 13 days ago - Pushed: about 11 years ago - Stars: 7 - Forks: 3

thoughtpolice/git-branchless Fork of arxanas/git-branchless

High-velocity, monorepo-scale workflow for Git

Size: 3.43 MB - Last synced: 13 days ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

thoughtpolice/bf-pypy 📦

A brainfuck JIT using RPython

Language: Python - Size: 117 KB - Last synced: 13 days ago - Pushed: over 11 years ago - Stars: 2 - Forks: 0

thoughtpolice/yosys-bluespec

Yosys plugin for synthesis of Bluespec code

Language: C++ - Size: 87.9 KB - Last synced: 13 days ago - Pushed: over 2 years ago - Stars: 11 - Forks: 0

thoughtpolice/cryptol-mode

A Cryptol major mode for Emacs.

Language: Emacs Lisp - Size: 70.3 KB - Last synced: 13 days ago - Pushed: almost 5 years ago - Stars: 15 - Forks: 6

thoughtpolice/fdblog2clickhouse

Ingest FoundationDB Logs into ClickHouse

Language: Python - Size: 27.3 KB - Last synced: 13 days ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 1

thoughtpolice/buck2 Fork of facebook/buck2

Build system, successor to Buck

Language: Rust - Size: 52.2 MB - Last synced: 13 days ago - Pushed: about 1 month ago - Stars: 0 - Forks: 1

thoughtpolice/cse-ghc-plugin 📦

common subexpression elimination plugin for GHC

Language: Haskell - Size: 124 KB - Last synced: 5 days ago - Pushed: almost 12 years ago - Stars: 6 - Forks: 1