Pinned Repositories
advent-of-code
My solutions to http://adventofcode.com/
gauss
Computer algebra system for the rest of us
interview-questions
Not mine.
jgertm.github.io
lang
Like a programming language, but worse
minesweeper
Classic implemented in Haskell
nix.vim
Nix and NixOS config highlighting for vim
nixpkgs
Nix Packages collection
nixtools
A reimplementation of the system management utilities that come with NixOS
nrw
A simple tool
jgertm's Repositories
jgertm/lang
Like a programming language, but worse
jgertm/jgertm.github.io
jgertm/nixpkgs
Nix Packages collection
jgertm/aoc2022
jgertm/attoparsec-uri
A compositional URI parser / printer for attoparsec
jgertm/bau
jgertm/bazel-platforms-question
jgertm/bcjobs-blog
jgertm/clj-refactor.el
A collection of Clojure refactoring functions for Emacs
jgertm/clojure-toolbox.com
Source to clojure-toolbox.com
jgertm/clojuredocs
clojuredocs.org web app
jgertm/clomacs
jgertm/continuous-integration
Bazel's Continuous Integration Setup
jgertm/cv
jgertm/dune-ocamlpath-demo
jgertm/generic-lens
Generically derive traversals, lenses, and prisms.
jgertm/grpc
The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
jgertm/home-manager
Manage a user environment using Nix [maintainer=@rycee]
jgertm/luminus-template
a template project for the Luminus framework
jgertm/react-native-nfc-manager
React Native NFC module for Android & iOS
jgertm/rules_clojure
jgertm/rules_nodejs
JavaScript and NodeJS rules for Bazel
jgertm/rules_proto_grpc
Bazel rules for building Protobuf and gRPC code and libraries from proto_library targets
jgertm/seven-guis
jgertm/sixty
Dependent type checker using normalisation by evaluation
jgertm/strongswan
strongSwan - IPsec-based VPN
jgertm/terrain
jgertm/tipsi-stripe
React Native Stripe binding for iOS/Android platforms
jgertm/tools_opam
Bazel rules for OPAM support
jgertm/zprint
Executables, uberjar, and library to beautifully format Clojure and Clojurescript source code and s-expressions.