Skip to content
View proofconstruction's full-sized avatar
16 followers · 39 following

Highlights

  • Pro

Block or report proofconstruction

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • constitution-changes Public

    Updated Oct 6, 2024

  • nix-security-tracker Public

    Forked from Nix-Security-WG/nix-security-tracker

    Web service for managing information on vulnerabilities in software distributed through Nixpkgs

    Python Updated Oct 2, 2024

  • SC-election-2024 Public

    Forked from NixOS/SC-election-2024

    2024 Election for the Steering Committee

    Nix Updated Sep 21, 2024

  • Flow-Bench Public

    Forked from Flow-Bench/Flow-Bench

    FlowBench: A Flexible Flow Table Benchmark for Comprehensive Algorithm Evaluation

    C++ MIT License Updated Sep 2, 2024

  • systems Public

    Configs for my machines

    Nix 2 1 Updated Aug 17, 2024

  • org-static-blog Public

    Forked from bastibe/org-static-blog

    A static site generator using org-mode

    Emacs Lisp BSD 3-Clause "New" or "Revised" License Updated Aug 13, 2024

  • sclang Public

    Forked from brody4hire/sclang
    Rust Apache License 2.0 Updated Aug 5, 2024

  • nix.dev Public

    Forked from NixOS/nix.dev

    An opinionated guide for developers wanting to get things done with the Nix ecosystem.

    Nix Creative Commons Attribution Share Alike 4.0 International Updated May 27, 2024

  • foundation Public

    Forked from NixOS/foundation

    This is the home of the NixOS Foundation

    Updated May 1, 2024

  • nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection & NixOS

    Nix MIT License Updated Oct 31, 2023

  • git-teaching Public

    Example git workflows for learners

    Updated Sep 11, 2023

  • nix Public

    Forked from NixOS/nix

    Nix, the purely functional package manager

    C++ GNU Lesser General Public License v2.1 Updated Sep 1, 2023

  • uniteai Public

    Forked from freckletonj/uniteai

    Your AI Stack in Your Editor

    Python Apache License 2.0 Updated Aug 28, 2023

  • futhark Public

    Forked from diku-dk/futhark

    💥💻💥 A data-parallel functional programming language

    Haskell ISC License Updated Aug 25, 2023

  • serge Public

    Forked from serge-chat/serge

    A web interface for chatting with Alpaca through llama.cpp. Fully dockerized, with an easy to use API.

    Python MIT License Updated Aug 22, 2023

  • stdlib Public

    Forked from fortran-lang/stdlib

    Fortran Standard Library

    Fortran MIT License Updated Aug 21, 2023

  • mu Public

    Forked from djcb/mu

    maildir indexer/searcher + emacs mail client + guile bindings

    C++ GNU General Public License v3.0 Updated Aug 11, 2023

  • fpm Public

    Forked from fortran-lang/fpm

    Fortran Package Manager (fpm)

    Fortran MIT License Updated Aug 9, 2023

  • nixdoc Public

    Forked from nix-community/nixdoc

    Tool to generate documentation for Nix library functions [maintainer=@asymmetric]

    Nix GNU General Public License v3.0 Updated Aug 2, 2023

  • nheko Public

    Forked from Nheko-Reborn/nheko

    Desktop client for Matrix using Qt and C++20.

    C++ GNU General Public License v3.0 Updated Jul 28, 2023

  • mobile-nixos Public

    Forked from mobile-nixos/mobile-nixos
    C MIT License Updated Jul 22, 2023

  • kitty Public

    Forked from kovidgoyal/kitty

    Cross-platform, fast, feature-rich, GPU based terminal

    Python GNU General Public License v3.0 Updated Jul 21, 2023

  • kea Public

    Forked from isc-projects/kea

    A modern, scalable, robust DHCPv4 and DHCPv6 server, with database (MySQL, PostgreSQL), hooks, multi-threading, RADIUS, NETCONF, Kerberos and more.

    C++ Other Updated Jul 11, 2023

  • jitsi Public

    Forked from jitsi/jitsi

    Jitsi is an audio/video and chat communicator that supports protocols such as SIP, XMPP/Jabber, IRC and many other useful features.

    Java Apache License 2.0 Updated Jul 2, 2023

  • emacs-overlay Public

    Forked from nix-community/emacs-overlay

    Bleeding edge emacs overlay [maintainer=@adisbladis]

    Nix Updated Jun 28, 2023

  • nickel Public

    Forked from tweag/nickel

    Better configuration for less

    Rust MIT License Updated Jun 27, 2023

  • agenix Public

    Forked from ryantm/agenix

    age-encrypted secrets for NixOS

    Nix Creative Commons Zero v1.0 Universal Updated Jun 26, 2023

  • FluidX3D Public

    Forked from ProjectPhysX/FluidX3D

    The fastest and most memory efficient lattice Boltzmann CFD software, running on all GPUs via OpenCL.

    C++ Other Updated Jun 26, 2023

  • nixos-router Public

    Forked from chayleaf/nixos-router

    A NixOS router framework

    Nix MIT License Updated Jun 24, 2023

  • frunk Public

    Forked from lloydmeta/frunk

    Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

    Rust MIT License Updated Jun 24, 2023