Popular repositories Loading

1. poetry2nix poetry2nix Public

   Forked from nix-community/poetry2nix

   Convert poetry projects to nix automagically [maintainer=@adisbladis]

   Nix

2. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix

3. cornelis cornelis Public

   Forked from agda/cornelis

   agda-mode for neovim

   Haskell

4. daanrs.github.io daanrs.github.io Public

   Nix

5. model-checking model-checking Public

   Python

6. sac-stdlib sac-stdlib Public

   Forked from SacBase/Stdlib

   This repository contains the core and extended source files of the standard library of the SaC programming language.

   C