Skip to content
Change the repository type filter

All

    Repositories list

    • An ambitious fork of Redox tasked with creating a FOSS M100 with an added trackball, wireless, and 3D-printed housing.
      MIT License
      169000Updated Nov 12, 2024Nov 12, 2024
    • Nix flake for Neovim & Scala Metals with added Cardano Support
      Nix
      MIT License
      37000Updated Nov 1, 2024Nov 1, 2024
    • lion

      Public
      Where Lions Roam: RISC-V on the VELDT
      Haskell
      BSD 3-Clause "New" or "Revised" License
      16100Updated Oct 27, 2024Oct 27, 2024
    • Fork of PureScript packages for Spago and Psc-Package. Upgrading purs-nix if possible.
      Dhall
      BSD 3-Clause "New" or "Revised" License
      312000Updated Sep 23, 2024Sep 23, 2024
    • Pelotero GHC 9.2.8 back-end ⚾
      Haskell
      Apache License 2.0
      0000Updated Sep 16, 2024Sep 16, 2024
    • PureScript core tools in Nix
      PureScript
      MIT License
      12000Updated Sep 15, 2024Sep 15, 2024
    • Minimal reproducible nix flake templates
      Nix
      MIT License
      2000Updated Sep 7, 2024Sep 7, 2024
    • registry

      Public
      Registry of PureScript packages and metadata about them
      14000Updated Sep 7, 2024Sep 7, 2024
    • plutus-starter

      Public template
      A starter project for Plutus apps
      Shell
      Apache License 2.0
      95000Updated Sep 7, 2024Sep 7, 2024
    • plutus-tx-template

      Public template
      Haskell
      4000Updated Sep 7, 2024Sep 7, 2024
    • Metadata for Cardano's Haskell package repository
      Shell
      Apache License 2.0
      28000Updated Sep 7, 2024Sep 7, 2024
    • code for Dandelion
      Nix
      Apache License 2.0
      1000Updated Sep 7, 2024Sep 7, 2024
    • Nix
      6000Updated Mar 19, 2024Mar 19, 2024
    • haskell-template

      Public template
      Haskell project template using Nix + Flakes + VSCode (HLS)
      Nix
      MIT License
      35000Updated Feb 26, 2024Feb 26, 2024
    • .github

      Public
      Apache License 2.0
      0000Updated Oct 8, 2023Oct 8, 2023
    • 🪶-weight NixOS: liveISO images, VM's, OCI's, etc w/ home-manager & flakes
      Nix
      Apache License 2.0
      76000Updated Oct 7, 2023Oct 7, 2023
    • Template project for getting started with Halogen
      PureScript
      Apache License 2.0
      56000Updated Mar 7, 2023Mar 7, 2023
    • Cryptocurrency icon webfont and SVG customized for the Cardano ecosystem.
      HTML
      GNU General Public License v3.0
      23000Updated Feb 2, 2023Feb 2, 2023