|
Nix |
2 |
a nix template for agda projects (with emacs overlay0 |
Jun 29, 2022 |
|
Nix |
84 |
Haskell project template using Nix + Flakes + VSCode (HLS) |
Aug 09, 2022 |
|
Nix |
2 |
OCaml starter project template using Nix for reproducibility. |
May 13, 2023 |
|
Nix |
2 |
A Nix-first Python project template using cookiecutter. |
May 23, 2023 |
|
Nix |
9 |
Haskell + Nix project setup Cookiecutter template |
Feb 19, 2021 |
|
Shell |
45 |
batteries-included nix-based haskell project template |
May 08, 2023 |
|
CSS |
5 |
A template for an Agda project with automatic GitHub Pages support |
Aug 16, 2022 |
|
Haskell |
4 |
Haskell Demo Project using Nix |
Apr 03, 2022 |
|
CMake |
17 |
A template for Nix based C++ project setup. |
Jun 02, 2022 |
|
Go |
2 |
Nix devcontainer template for golang using docker-compose |
Aug 11, 2022 |
|
TeX |
4 |
LaTeX template with minted support using nix flakes |
May 05, 2023 |
|
Nix |
6 |
TypeScript Electron Demo Project using Nix |
Mar 18, 2022 |
|
Nix |
17 |
An example Prisma project using nix |
Aug 08, 2022 |
|
Nix |
2 |
Example project in Python using Nix. |
Mar 18, 2023 |
|
Nix |
86 |
Rust project template with Nix (Flakes) and VSCode support |
Jul 26, 2022 |
|
Agda |
6 |
Project Euler solutions in Agda |
Dec 21, 2020 |
|
Haskell |
24 |
Hakyll + Nix starter template |
Jul 22, 2022 |
|
Nix |
3 |
A template for using nix flakes with GitHub Actions |
Apr 07, 2023 |
|
Nix |
9 |
A Lima template for using the Nix package manager |
Jun 21, 2023 |
|
Agda |
32 |
H.O.T.T. using rewriting in Agda |
Mar 31, 2023 |
|
Agda |
5 |
Categorical semantics of counterpart-based quantified (linear) temporal logics in Agda using https://github.com/agda/agda-categories |
Oct 11, 2022 |
|
Nix |
6 |
Template for reproducable and lightweight OCaml dev environment using Nix |
Jul 21, 2022 |
|
None |
6 |
Imperfect Knowledge Workshop 2022 |
May 30, 2022 |
|
Nix |
3 |
A nix template for setting up development environment required to develop react native apps using … |
Nov 27, 2022 |
|
Shell |
8 |
A bare-bones template for setting up Nix on macOS for using nix-darwin with flakes |
Nov 16, 2022 |
|
Nix |
4 |
TypeScript Library Demo Project using Nix https://matrix.ai |
Aug 03, 2022 |
|
Agda |
2 |
Agda |
Apr 12, 2023 |
|
Agda |
38 |
Proof automation – for Agda, in Agda. |
Jul 27, 2021 |
|
TeX |
2 |
Imperfect example of reproducible archive |
Jan 08, 2023 |
|
Nix |
3 |
Template for my Haskell + Nix projects |
Jun 05, 2022 |
|
Dockerfile |
5 |
Docker image with Agda and agda-stdlib |
Jan 03, 2022 |
|
Nix |
2 |
🦀 Rust development template for Nix ❄️ |
Jul 03, 2022 |
|
Nix |
3 |
Nix flake template for reproducible latex documents |
May 28, 2023 |
|
TypeScript |
4 |
A collection of imperfect React components |
Aug 16, 2022 |
|
Ruby |
2 |
Vagrant template using Puppet Project |
Sep 25, 2021 |
|
Haskell |
2 |
Template Haskell project using CodeWorld. |
Nov 01, 2022 |
|
Python |
3 |
Pyramid project template using Cookiecutter |
Nov 05, 2021 |
|
Cirru |
2 |
template project of using repso.calcit |
Feb 20, 2023 |
|
Nix |
3 |
Auto packaging for Talon Voice [maintainer=@adisbladis] |
Sep 30, 2022 |
|
Nix |
4 |
Documentation and examples for using Python on Nix |
Jan 19, 2022 |
|
Nix |
4 |
None |
May 16, 2022 |
|
Nix |
4 |
FnCtl is our opinionated NixOS config(s). |
May 24, 2022 |
|
Nix |
4 |
ZilchOS Core, a decidedly tiny Nix-based distro to play with |
May 30, 2022 |
|
Nix |
4 |
An opinionated terranix openstack module |
Jun 09, 2022 |
|
Nix |
4 |
Build an application with Nix and deploy it on Fly.io |
May 02, 2022 |
|
Nix |
4 |
🎭 API |
Mar 08, 2022 |
|
Nix |
4 |
nix flakes for tezos |
May 10, 2022 |
|
Nix |
4 |
None |
Jun 11, 2022 |
|
Nix |
4 |
Erasing my darlings since 2021 |
Mar 31, 2022 |
|
Nix |
4 |
Load in nix repl to create variables from your NixOS configuration |
Apr 16, 2022 |