drbeefsupreme

drbeefsupreme's Stars

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix18.9k14.7k

• syl20bnr/spacemacs

  A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

  Language:Emacs Lisp23.8k4.9k

• puffnfresh/nix-files

  My NixOS configuration and custom Nix derivations.

  Language:Nix15515

• jwiegley/nix-config

  My local Nix configuration

  Language:Emacs Lisp44355

• AdrieanKhisbe/spacemacs-anki-deck

  📇 Basic spacemacs Anki deck generator 🗄

  Language:JavaScript17

• aldenwalker/branched

  Compute with branched surfaces

  Language:C++3

• aldenwalker/shine

  surface visualizer

  Language:Python2

• Alexander-Miller/treemacs

  Language:Emacs Lisp2.1k158

• urbit/hoon-mode.el

  Language:Emacs Lisp1816

• timor/spacemacsOS

  EXWM Layer to turn spacemacs into a full-fledged window manager

  Language:Emacs Lisp9212

• orgzly/orgzly-android

  Outliner for taking notes and managing to-do lists

  Language:Kotlin2.7k302

• Anton-Latukha/Fundamental-Haskell

  Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.

  Language:Emacs Lisp12210

• telent/config-nixpkgs

  My .config/nixpkgs directory

  Language:Nix81

• nix-community/nix-emacs

  A set of useful Emacs modes and functions for users of Nix and Nix OS.

  Language:Emacs Lisp23032

• shajra/nix-example

  a way to develop software with Nix

  Language:Nix33424

• statebox/idris-ct

  formally verified category theory library

  Language:Idris25923

• headcounter/shabitica

  Run your own self-hosted Habitica instance

  Language:Nix15815

• mnemnion/ax

  An Algebraic, Executable Ur Machine

  Language:Lua362

• SoftwareQuTech/SimulaQron

  Quantum Network Simulator for Application Programming

  Language:Python11553

• open-quantum-safe/liboqs

  C library for prototyping and experimenting with quantum-resistant cryptography

  Language:C2k484

• artiste-qb-net/os_quantum_software

  Curated list of open-source quantum software projects.

  2

• djsutherland/arxiv-collector

  A little Python script to collect LaTeX sources for upload to the arXiv.

  Language:Python34123

• pelagisk/algebras-for-physicists

  Symbolic calculation of non-commutative algebraic expressions with Haskell

  Language:Haskell21

• Gabriella439/haskell-nix

  Nix and Haskell in production

  Language:Nix1.1k116

• xmonad/xmonad

  The core of xmonad, a small but functional ICCCM-compliant tiling window manager

  Language:Haskell3.4k294

• PaulGustafson/stringnet

  A Haskell library for calculating with quantum mapping class group representations

  Language:Haskell9

• amitanilkulkarni/kitaev-toric-decoder

  This is a simulation of optimal decoder for Kitaev's Toric Codes, written in C++. The optimal toric decoder has a theoretical threshold of 11%. Through this simulation, I have successfully verified the threshold of 11%. This was done as a part of my MTech thesis at IIT Madras.

  Language:C++63

• philzook58/fib-anyon

  An implementation of Fibonacci Anyons in Haskell

  Language:Haskell227

• benkolera/spacemacs-hie-nix

  Spacemacs layer for using a nix friendly haskell-ide-engine lsp

  Language:Emacs Lisp173

• holochain/holonix-archive

  NixOS && Holochain

  Language:Nix14920