Skip to content
Change the repository type filter

All

    Repositories list

    • underhood

      Public
      UnderHood is a code browsing interface backed by Kythe indices.
      Nix
      Apache License 2.0
      585205Updated May 1, 2024May 1, 2024
    • Haskell Elasticsearch client and query DSL
      Haskell
      BSD 3-Clause "New" or "Revised" License
      118000Updated Apr 18, 2022Apr 18, 2022
    • An Underhood gateway server using Zoekt indices.
      Go
      Apache License 2.0
      0220Updated Mar 9, 2022Mar 9, 2022
    • [GPLv3+] install nixos over the existing OS in a DigitalOcean droplet (and others with minor modifications)
      Shell
      GNU General Public License v3.0
      225000Updated Jun 19, 2021Jun 19, 2021
    • kythe

      Public
      Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.
      Go
      Apache License 2.0
      251000Updated Mar 9, 2021Mar 9, 2021
    • Minimal template repo for hermetic Haskell development using Bazel/rules_haskell and Nix.
      Nix
      Apache License 2.0
      2711Updated Dec 2, 2020Dec 2, 2020
    • nixpkgs

      Public
      Nix Packages collection
      Nix
      MIT License
      14k000Updated Jul 18, 2020Jul 18, 2020
    • xml

      Public
      Various XML utility packages for Haskell
      Haskell
      64000Updated Jul 17, 2020Jul 17, 2020
    • Haskell rules for Bazel.
      Starlark
      Apache License 2.0
      81000Updated Jul 16, 2020Jul 16, 2020
    • Translate text based on speech input (old code, for reference)
      Haskell
      Apache License 2.0
      0200Updated Jan 5, 2020Jan 5, 2020
    • Inference, exference, proference.
      Apache License 2.0
      0000Updated Jan 5, 2020Jan 5, 2020
    • Mixes results from multiple language servers.
      Apache License 2.0
      0110Updated Apr 28, 2019Apr 28, 2019
    • Rules for importing Nixpkgs packages into Bazel.
      Python
      Apache License 2.0
      81000Updated Nov 21, 2018Nov 21, 2018
    • zxhs

      Public
      Library for writing games with ZX Spectrum-like graphics.
      Haskell
      0100Updated Aug 20, 2017Aug 20, 2017
    • Scripts to export EEA datasets catalogue from EEA SDS (sparql-endpoint) to EU Open Data Portal
      Python
      3000Updated Feb 4, 2016Feb 4, 2016