ehamberg
Follow
-
lean4-parser Public
Forked from fgdorais/lean4-parserParser Combinator Library for Lean 4
Lean Apache License 2.0 UpdatedDec 14, 2024 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedNov 27, 2024 -
Adv360-Pro-ZMK Public
Forked from KinesisCorporation/Adv360-Pro-ZMKProduction repository for the all-new Advantage360 Professional using ZMK engine
Shell MIT License UpdatedJun 11, 2024 -
fswatcher Public
A simple file/directory watcher for Linux and macOS and other BSDs
-
-
tribot Public
Simple, stupid trigram-using, nonsense-spewing irc bot
-
typeclassopedia-md Public
Markdown version of the Haskell Typeclassopedia
-
Doom-Emacs-Cheat-Sheet Public
Forked from niyumard/Doom-Emacs-Cheat-SheetThis is a cheat sheet for doom emacs, mostly from the guides I see online.
UpdatedSep 20, 2022 -
email_guard Public
Forked from remoteoss/email_guardElixir library for detecting disposable (burner) or non-business email addresses.
Elixir MIT License UpdatedAug 29, 2022 -
vim-cute-python Public
Unicode goodness for Python code using vim's “conceal” feature
-
epgsql Public
Forked from epgsql/epgsqlErlang PostgreSQL client library.
Erlang BSD 3-Clause "New" or "Revised" License UpdatedJun 15, 2021 -
Weather-app-Darlene Public
Forked from 12Isabella/Weather-app-DarleneJavaScript UpdatedMay 20, 2021 -
fplbot Public
Forked from fplbot/fplbot🤖Slackbot for Fantasy Premier League
C# MIT License UpdatedMay 14, 2021 -
-
-
bottom Public
Forked from ClementTsang/bottomYet another cross-platform graphical process/system monitor.
Rust MIT License UpdatedJan 17, 2021 -
gun Public
Forked from ninenines/gunHTTP/1.1, HTTP/2 and Websocket client for Erlang/OTP.
Erlang ISC License UpdatedJan 13, 2021 -
doom-emacs Public
Forked from doomemacs/doomemacsAn Emacs framework for the stubborn martian hacker
Emacs Lisp MIT License UpdatedOct 29, 2020 -
-
erlcron Public
Forked from erlware/erlcronErlang cronish system
-
stayinghomeclub Public
Forked from phildini/stayinghomeclubA list of all the companies WFH or events changed because of covid-19
Creative Commons Zero v1.0 Universal UpdatedMar 5, 2020 -
SQLiteHistograms Public
Forked from Oeffner/SQLiteHistogramsAn SQLite extension library for creating histogram tables, tables of ratio between histograms and interpolation tables of scatter point tables
C MIT License UpdatedNov 26, 2019 -
scotty-rest Public
Webmachine-style REST library for scotty inspired by cowboy
-
postmortem-templates Public
Forked from dastergon/postmortem-templatesA collection of postmortem templates
Creative Commons Zero v1.0 Universal UpdatedMay 30, 2019 -
pure Public
Forked from sindresorhus/purePretty, minimal and fast ZSH prompt
Shell MIT License UpdatedMar 22, 2019 -
-
dogstatsde Public
Forked from waisbrot/dogstatsdeA StatsD (plus Datadog tag additions) client for Erlang
Erlang Other UpdatedJan 12, 2019 -
haskell Public
Forked from tensorflow/haskellHaskell bindings for TensorFlow
Haskell Apache License 2.0 UpdatedMay 19, 2018 -
strive Public
Forked from tfausak/strive🚴 A Haskell client for the Strava V3 API.
Haskell MIT License UpdatedMar 26, 2018 -
SpaceVim Public
Forked from SpaceVim/SpaceVimA community-driven modular vim distribution - The ultimate Vim configuration
Vim Script GNU General Public License v3.0 UpdatedMar 16, 2018