dragospe

dragospe's Stars

• quickemu-project/quickemu

  Quickly create and run optimised Windows, macOS and Linux virtual machines

  Language:Shell10.5k460

• forked-from-1kasper/ground_zero

  Ground Zero: Lean 4 HoTT Library

  Language:Lean431

• gytis-ivaskevicius/high-quality-nix-content

  GitHub repository containing highest quality Nix/NixOS content

  Language:Nix29519

• snowleopard/alga-paper

  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language

  Language:TeX1934

• fat-tire/resolve

  Container scripts to build and run DaVinci Resolve [Studio] for Linux using Docker or Podman

  Language:Shell18219

• tibbe/haskell-style-guide

  A style guide for Haskell code.

  Language:Emacs Lisp95875

• serokell/style

  Collection of programming style guides used in Serokell

  122

• nix-community/home-manager

  Manage a user environment using Nix [maintainer=@rycee]

  Language:Nix6.8k1.8k

• wrichter/GermanyDYIAirCleaner

  How to build a Corsi-Rosenthal Box / Comparetto Cube / DYI Air Cleaner from parts avialable in Germany

  391

• simonmichael/hledger

  Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

  Language:Haskell3k317

• kowainik/stan

  🕵️ Haskell STatic ANalyser

  Language:Haskell56648

• jonascarpay/template-haskell

  batteries-included nix-based haskell project template

  Language:Shell6110

• tweag/nickel

  Better configuration for less

  Language:Rust2.4k89

• haskell-nix/hnix

  A Haskell re-implementation of the Nix expression language

  Language:Nix756115

• input-output-hk/quickcheck-dynamic

  A library for stateful property-based testing

  Language:Haskell277

• mlabs-haskell/cardanow

  Language:Nix2

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX10.9k587

• martinescardo/HoTTEST-Summer-School

  HoTTEST Summer School materials

  Language:TeX28568

• zhaofengli/rosetta-spice

  RosettaLinux augmentation tool

  Language:Rust91

• catileptic/mvt-companion

  Language:HTML62

• mitchellh/nixos-config

  My NixOS configurations.

  Language:Nix2k191

• NixOS/nixos-hardware

  A collection of NixOS modules covering hardware quirks.

  Language:Nix2k602

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix17.6k13.8k

• dragospe/python-flake-template

  A nix flake template for python

  Language:Makefile52

• geoffreybennett/alsa-scarlett-gui

  alsa-scarlett-gui is a Gtk4 GUI for the ALSA controls presented by the Linux kernel Focusrite Scarlett2 Mixer Driver

  Language:C59235

• wiltaylor/dotfiles

  My personal dotfiles

  Language:Nix2018

• flycheck/flycheck-haskell

  Improved Haskell support for Flycheck

  Language:Emacs Lisp6725

• dragospe/modern-c-exercises

  A relatively unorganized smattering of solutions from Modern C

  Language:C1

• dragospe/hpffp

  A relatively unorganized smattering of solutions to exercsises in "Haskell Programming from Frist Principles"

  Language:Haskell1

• Thinstation/thinstation

  A framework for making thin and light Linux based images for x86 based machines and thinclients.

  Language:Shell804187