Austin Seipp (thoughtpolice)

thoughtpolice

Geek Repo

Company:@groq

Location:Austin, TX

Home Page:https://austinseipp.com

Twitter:@stdlib

Github PK Tool:Github PK Tool


Organizations
haskell
NixOS

Austin Seipp's repositories

eris

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

Language:PerlLicense:GPL-3.0Stargazers:79Issues:6Issues:9

enable_arm_pmu

Enable user-mode access to ARMv7/Linux performance counters

Language:CLicense:MITStargazers:76Issues:11Issues:4

buck2-nix

Do not taunt happy fun ball

nixos-zerotier-dns

My ZeroTier DNS modules

Language:NixLicense:MITStargazers:29Issues:4Issues:0

hs-ed25519

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

Language:CLicense:MITStargazers:21Issues:6Issues:21

yosys-bluespec

Yosys plugin for synthesis of Bluespec code

Language:C++License:ISCStargazers:14Issues:5Issues:0

bootstrap.nix

code to bootstrap my nix projects

Language:NixLicense:MITStargazers:5Issues:3Issues:0
Language:RustLicense:Apache-2.0Stargazers:5Issues:5Issues:0

narinfo-tools

Simple collection of narinfo tools

Language:RustLicense:Apache-2.0Stargazers:4Issues:4Issues:0

embedding-server

Stateless HTTP service for computing sentence embeddings

Language:PythonLicense:Apache-2.0Stargazers:3Issues:4Issues:0
Language:NixStargazers:1Issues:3Issues:0

bsc

Bluespec Compiler (BSC)

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:2Issues:0

ekg-core

Library for tracking system metrics

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:1Issues:3Issues:0

tree-sitter-openddl

a tree-sitter grammar, for OpenDDL v2.0

Language:JavaScriptLicense:MITStargazers:1Issues:3Issues:0

yosys

Yosys Open SYnthesis Suite

Language:C++Stargazers:1Issues:3Issues:0

buck2

Build system, successor to Buck

Language:RustLicense:Apache-2.0Stargazers:0Issues:3Issues:0

chainweb-node

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

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

git-branchless

High-velocity, monorepo-scale workflow for Git

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

jj

A Git-compatible DVCS that is both simple and powerful

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

orleans

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

Language:C#License:MITStargazers:0Issues:2Issues:0

owl-lisp-hex

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

Language:SchemeStargazers:0Issues:2Issues:0

quick-fastly-logger

Simple logging endpoint for any Fastly service, using syslog

Language:NixLicense:GPL-3.0Stargazers:0Issues:3Issues:0

remote-tsdb-clickhouse

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

Language:GoLicense:Apache-2.0Stargazers:0Issues:1Issues:0

shake

Shake build system

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

spectacle

Embedded specification language & model checker in Haskell

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:0
Stargazers:0Issues:3Issues:0

vector

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

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

verilator

Verilator open-source SystemVerilog simulator and lint system

Language:C++License:LGPL-3.0Stargazers:0Issues:2Issues:0

yowasp-runtime-js

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

Language:JavaScriptLicense:ISCStargazers:0Issues:1Issues:0