khlrb

khlrb's Stars

• Jana-Marie/ligra

  an open source image projector build from scratch and based off of flea market parts.

  Language:OpenSCAD1892

• kidzki/svenpanel

  The Shrine - The Message Is Feierei Alda. Das neue Svenpanel für weitere Gude Laune im Browser, dem Telefon & Tablet. Es ist all about Gude Laune. Obergeil!

  Language:Vue111

• Lennart05/toponym

  Toponym Analysis & Visualization Tool. An R Package

  Language:R31

• pampanic/pam_panic

  A PAM module that protects sensitive data and provides a panic function for emergency situations. Authentication through passwords or removable media.

  Language:C5310

• ejconlon/midriff

  a WIP midi library for haskell

  Language:Haskell1

• dawsonjon/fpu

  synthesiseable ieee 754 floating point library in verilog

  Language:Verilog499139

• dbousamra/hnes

  :video_game: NES Emulator written in Haskell

  Language:Haskell37818

• puffnfresh/iridium

  xmonad with the X11 abstracted and configured with Idris

  Language:Idris20412

• SimulaVR/Simula

  Linux VR Desktop

  Language:Haskell2.9k87

• lachlanA/eagle-to-kicad

  Eagle SCH/LIB to KiCad SCH/LIB ULP conversion script

  Language:NASL42459

• sternenseemann/likely-music

  experimental application for probabilistic music composition

  Language:JavaScript81

• gigamonkey/toot

  A web server created by stripping down and reorganizing Edi Weitz's Hunchentoot

  Language:Common Lisp7410

• BSVC/bsvc

  The BSVC Microprocessor Simulation Framework

  Language:C++4214

• fu-dietersheim/Blockchain

  A verified permissioned centralized Blockchain for Isabelle/HOL

  Language:Isabelle116

• clash-lang/clash-prelude

  CLaSH prelude library containing datatypes and functions for circuit design

  Language:Haskell3127

• eskimor/servant-purescript

  Translate servant API to purescript code, with the help of purescript-bridge.

  Language:Haskell10544

• neldredge/mathgen

  Generate random nonsense math papers

  Language:Perl55172

• genuinetools/binctr

  Fully static, unprivileged, self-contained, containers as executable binaries.

  Language:Go2.5k80

• 1183519e/tac

  Language:OpenSCAD8

• blinry/wikidata-guessr

  Guess the locations of random Wikidata items.

  Language:JavaScript235

• sdiehl/tinyjit

  Haskell JIT

  Language:Haskell18110

• ncase/fireflies

  Fireflies: an example of emergence

  Language:JavaScript33447

• RDFLib/rdflib

  RDFLib is a Python library for working with RDF, a simple yet powerful language for representing information.

  Language:Python2.1k547

• neithernut/git-dit

  Decentralized Issue Tracking for git

  Language:Rust45818

• IntelLabs/flrc

  Haskell Research Compiler

  Language:Standard ML81437

• YosysHQ/yosys

  Yosys Open SYnthesis Suite

  Language:C++3.3k861

• hteso/iaito

  This project has been moved to:

  Language:C++1.5k131

• PortMidi/PortMidi-haskell

  A Haskell module for PortMidi audio library.

  Language:C1311

• ekmett/machines

  Networks of composable stream transducers

  Language:Haskell33846

• bake/ddate.sh

  ddate-equivalent to date

  Language:Shell31