Popular repositories Loading

1. TypeDD-Samples TypeDD-Samples Public

   Forked from edwinb/TypeDD-Samples

   Sample code from "Type Driven Development with Idris"

   Idris 1

2. gateway gateway Public

   Forked from envoyproxy/gateway

   Manages Envoy Proxy as a Standalone or Kubernetes-based Application Gateway

   Go 1

3. clojure-deps-edn clojure-deps-edn Public

   Forked from practicalli/clojure-cli-config

   User level aliases and Clojure CLI configuration for deps.edn based projects

   edn

4. doomemacs doomemacs Public

   Forked from doomemacs/doomemacs

   An Emacs framework for the stubborn martian hacker

   Emacs Lisp