yannham Goto Github PK

atags.vim

:collision: A plugin that simplifies tags generation on neovim

chrysto

Web-application used as a pedagogical support for a presentation on the history of cryptography.

coc-git

Git integration of coc.nvim

coqepit

Your research in Coq

cuelang.org

Source for the https://cuelang.org site

dhall-lang

Maintainable configuration files

examples

Kubernetes application example tutorials

games-coq

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

guestbook-go-nickel

Kubernetes guestbook-go example in Nickel

jetpack-nixos

NixOS module for NVIDIA Jetson devices

kalendar

Full featured, responsive, lightweight calendar in the browser.

kobeau-reader

Simple, one-liner installer of KOReader on a Kobo device powered by Nix.

lalrpop

LR(1) parser generator for Rust

lambda-soup

Functional HTML scraping and rewriting with CSS in OCaml.

lambdajam-2021

mechaml

OCaml functional web scraping library

nix-cuda-test

nix.dev

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

nixpkgs

Nix Packages collection

nvim-treesitter

Nvim Treesitter configurations and abstraction layer

ocaml-msp

MSP Pairing-based signature scheme in OCaml

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

pre-commit-hooks.nix

Seamless integration of https://pre-commit.com git hooks with Nix.

project-deref-patterns

python-dotenv

Get and set values in your .env file in local and production servers. :tada:

reflection-in-qt

rust

Empowering everyone to build reliable and efficient software.

rust-analyzer.github.io

tree-of-light