dedifferentiator

dedifferentiator's Stars

• jameshaydon/lawvere

  A categorical programming language with effects

  Language:Haskell2665

• fgsect/JMPscare

  tool for multi-execution jump coverage introspection

  Language:Rust624

• hanabi/hanabi.github.io

  A list of Hanabi strategies

  Language:Python162151

• HigherOrderCO/Kind1

  A modern proof language

  Language:JavaScript3.5k140

• matil019/haskell-libfuse3

  A Haskell binding for libfuse-3.x

  Language:Haskell51

• orijtech/structslop

  structslop is a static analyzer for Go that recommends struct field rearrangements to provide for maximum space/allocation efficiency.

  Language:Go81229

• LMMS/lmms

  Cross-platform music production software

  Language:C++8k994

• carp-lang/Carp

  A statically typed lisp, without a GC, for real-time applications.

  Language:Haskell5.5k174

• helio-fm/helio-sequencer

  Libre music sequencer for desktop and mobile platforms

  Language:C++3.1k115

• Hanabi-Live/hanabi-live

  A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.

  Language:TypeScript177114

• fosskers/aura

  A multilingual package manager for Arch Linux and the AUR.

  Language:Haskell1.7k113

• p3rsik/vmanager

  Language:Haskell3

• MatthewZMD/.emacs.d

  M-EMACS, a full-featured GNU Emacs configuration distribution

  Language:Emacs Lisp66977

• balsoft/lambda-launcher

  Application launcher in haskell. Mostly Just For Fun.

  Language:Haskell726

• ch11ng/exwm

  Emacs X Window Manager

  2.8k136

• gh2o/digitalocean-debian-to-arch

  Script to convert a Debian installation on DigitalOcean to Arch Linux

  Language:Shell83169

• vEnhance/napkin

  An Infinitely Large Napkin

  Language:TeX1.2k116

• lwfinger/rtl8188eu

  Repository for stand-alone RTL8188EU driver.

  Language:C1.7k592

• cvogt/2020-07-01-haskell-game-demo

  "Writing 2D games using super simple Haskell" at Haskell Love 2020 conference https://haskell.love/jan-christopher-vogt/

  Language:Haskell285

• Ardour/ardour

  Mirror of Ardour Source Code

  Language:C++3.8k678

• commercialhaskell/stack-templates

  Project templates for stack new

  Language:Haskell232111

• pretzelhammer/rust-blog

  Educational blog posts for Rust beginners

  Language:Rust7k377

• alegrey91/systemd-service-hardening

  Basic guide to harden systemd services

  Language:PHP2426

• orhun/kmon

  Linux Kernel Manager and Activity Monitor 🐧💻

  Language:Rust2.5k75

• cdown/clipmenu

  Clipboard management using dmenu

  Language:C1.1k90

• 9fans/plan9port

  Plan 9 from User Space

  Language:C1.6k320

• sqlc-dev/sqlc

  Generate type-safe code from SQL

  Language:Go12.2k778

• edenhill/kcat

  Generic command line non-JVM Apache Kafka producer and consumer

  Language:C5.4k483

• prometheus-community/postgres_exporter

  A PostgreSQL metric exporter for Prometheus

  Language:Go2.7k724

• securego/gosec

  Go security checker

  Language:Go7.7k606