Beast code in Giters

zennad's starred repositories

MagicPNG

Merge two PNG images into one utilizing transparency

Language:C#15600

nix-on-droid

Nix-enabled environment for your Android device. [maintainers=@t184256,@Gerschtli]

Language:NixMIT120100

agenix

age-encrypted secrets for NixOS and Home manager

Language:NixCC0-1.0138700

rfcs

The Nix community RFCs

Language:MarkdownCC-BY-SA-4.050900

nixpkgs

Nix Packages collection & NixOS

Language:NixMIT1683500

audio-router

Routes audio from programs to different audio devices.

Language:C++GPL-3.0352800

awesome-nix

😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]

CC0-1.0291200

home-manager

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

Language:NixMIT643500

yfinance

Download market data from Yahoo! Finance's API

Language:PythonApache-2.01266000

core

Elm's core libraries

Language:ElmBSD-3-Clause279100

badvpn

NCD scripting language, tun2socks proxifier, P2P VPN

Language:CNOASSERTION185000

serenity

The Serenity Operating System 🐞

Language:C++BSD-2-Clause2994200

persistent

Persistence interface for Haskell allowing multiple storage methods.

Language:HaskellMIT46200

coding-interview-university

A complete computer science study plan to become a software engineer.

CC-BY-SA-4.030143500

spleeter

Deezer source separation library including pretrained models.

Language:PythonMIT2543700

jukebox

Code for the paper "Jukebox: A Generative Model for Music"

Language:PythonNOASSERTION773200

metamath-exe

Metamath program - source code for the Metamath executable

Language:CGPL-2.07600

set.mm

Metamath source file for logic and set theory

Language:HTMLCC0-1.023900

mmj2

mmj2 GUI Proof Assistant for the Metamath project

Language:JavaGPL-2.07200

agda-categories

A new Categories library for Agda

Language:AgdaMIT36100

manim

Animation engine for explanatory math videos

Language:PythonMIT6117600

hs-to-coq

Convert Haskell source code to Coq source code

Language:CoqMIT27900

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Language:Python68000

lean4

Lean 4 programming language and theorem prover

Language:LeanApache-2.0429300

haskell-hedgehog

Release with confidence, state-of-the-art property testing for Haskell.

Language:Haskell67000

hnix

A Haskell re-implementation of the Nix expression language

Language:NixBSD-3-Clause74900

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

Language:NixApache-2.054500

zrythm

a highly automated and intuitive digital audio workstation - official mirror

Language:C++NOASSERTION205900

Front-end-Developer-Interview-Questions

A list of helpful front-end related questions you can use to interview potential candidates, test yourself or completely ignore.

Language:NunjucksMIT5935800

awesome

😎 Awesome lists about all kinds of interesting topics

CC0-1.031751900