-
how-to-prove
My Solution to Velleman's book
TeX ★ 270 8mo agoExplain → -
rust-book-summary
Summary of the Rust book
★ 256 3y agoExplain → -
tldr-hs
Haskell tldr client
Haskell ★ 99 3mo agoExplain → -
shell-conduit
Write shell scripts with Conduit
Haskell ★ 96 6y agoExplain → -
justl.el
Major mode for driving just files.
Emacs Lisp ★ 95 2d agoExplain → -
dhall-mode
No description.
Emacs Lisp ★ 46 1y agoExplain → -
yesod-rest
Yesod Rest Scaffolding with React
Haskell ★ 37 1y agoExplain → -
rego-mode
Emacs major mode for OPA's rego language
Emacs Lisp ★ 30 4y agoExplain → -
Rizzy
A Steganographic tool in Python
Python ★ 29 14y agoExplain → -
csv-parser
A CSV Parser in C++ without any bells and whistles
C++ ★ 23 10y agoExplain → -
fb
No description.
Haskell ★ 19 1y agoExplain → -
cricbuzz
For fetching Live Cricket Score from CricBuzz
Python ★ 19 8y agoExplain → -
pyuClassify
Python Wrapper for accessing uClassify services
Python ★ 19 9y agoExplain → -
rucredstash
Utility for managing credentials securely in AWS cloud
Rust ★ 19 3y agoExplain → -
sysinfo
Haskell Interface for getting overall system statistics
Haskell ★ 16 7y agoExplain → -
stackgo
Browser plugin to automatically redirect Hackage library pages to Stackage pages.
JavaScript ★ 15 9y agoExplain → -
dotfiles
Config files for my Linux box
Nix ★ 11 6d agoExplain → -
download
High level download interface for Haskell
C ★ 10 7y agoExplain → -
streamly-bytestring
No description.
Haskell ★ 9 1mo agoExplain → -
emacs-everywhere
No description.
Shell ★ 8 2y agoExplain → -
iwlib-rs
Safe bindings to libiw library
Rust ★ 7 3y agoExplain → -
wai-slack-middleware
A Slack middleware for wai
Shell ★ 7 7y agoExplain → -
hourglass-orphans
Orphan Aeson instances to hourglass
Haskell ★ 6 9y agoExplain → -
haskell-bookmark
Some bookmarks!
Haskell ★ 5 6y agoExplain → -
prometheus
Notes for Monitoring with Prometheus book
Emacs Lisp ★ 5 4y agoExplain → -
weather_noaa
Rust parser for NOAA weather data
Rust ★ 5 2y agoExplain → -
talks
Slides etc.
JavaScript ★ 4 3y agoExplain → -
calculus
No description.
TeX ★ 4 4y agoExplain → -
setup-amber
No description.
TypeScript ★ 4 3mo agoExplain → -
yesod-postgres
Sample Yesod app with Postgres backend
Haskell ★ 4 7y agoExplain → -
Speakex
An Android application which converts a Text to Speech in various languages.
Java ★ 4 14y agoExplain → -
PyStegy
GUI for Steghide in Python
Python ★ 3 14y agoExplain → -
posix
Haskell FFI functions for doing system programming in Linux
Haskell ★ 3 7y agoExplain → -
psibi.github.io
Personal site
CSS ★ 2 2d agoExplain → -
rustic ⑂
Rust development environment for Emacs
Emacs Lisp ★ 2 4mo agoExplain → -
date
Date and Time Fundamentals
★ 2 4y agoExplain → -
yesod-postgres-chart
Helm chart for Yesod application
Smarty ★ 2 7y agoExplain → -
emacs-py-import-check
Finds the unused python imports using importchecker in Emacs
Emacs Lisp ★ 2 10y agoExplain → -
cnx ⑂
A simple X11 status bar for use with simple WMs.
★ 2 5y agoExplain → -
mtl-bench
No description.
Haskell ★ 2 6y agoExplain → -
emacs-anywhere ⑂
Forked properly here: https://github.com/psibi/emacs-everywhere
Shell ★ 2 8y agoExplain → -
game-of-life
Game of Life
Haskell ★ 2 12y agoExplain → -
nominatim
Haskell Client Library for Nominatim
Haskell ★ 2 12y agoExplain → -
linear_algebra
No description.
Emacs Lisp ★ 1 4y agoExplain → -
app_k8s
Sample application to deploy in Kubernetes and test things out!
Just ★ 1 3y agoExplain → -
odbc-issue-49
No description.
Haskell ★ 1 4y agoExplain → -
stack-docker
No description.
Dockerfile ★ 1 4y agoExplain → -
sf
Software Foundations
Coq ★ 1 9y agoExplain → -
yamlparse-test
No description.
Haskell ★ 1 4y agoExplain → -
ox-twbs ⑂
Export org-mode docs as HTML compatible with Twitter Bootstrap.
Emacs Lisp ★ 1 5y agoExplain → -
yesod-auth-fb
No description.
Haskell ★ 1 6y agoExplain → -
yesod-fb
No description.
Haskell ★ 1 6y agoExplain → -
spoj
Spoj Algorithms in Haskell
Haskell ★ 1 11y agoExplain → -
set-utils
A Set combinator library for Haskell
Haskell ★ 1 11y agoExplain → -
persistent-try-bugs
Repo for quickly going into a persistent enviroment
Haskell ★ 1 10y agoExplain → -
eta-aeson
No description.
Haskell ★ 1 9y agoExplain → -
eta-ffi
Eta FFI examples
Haskell ★ 1 9y agoExplain → -
bouncycastle
No description.
Haskell ★ 1 9y agoExplain → -
hkill
No description.
Haskell ★ 1 8y agoExplain → -
streamly-bytestring2
WIP
Haskell ★ 1 8y agoExplain → -
kube-test
Some Kubernetes experiments
Haskell ★ 1 7y agoExplain → -
stack-issue-4377
No description.
Haskell ★ 1 7y agoExplain → -
stack-issue-debug
No description.
Haskell ★ 1 7y agoExplain → -
weigh-issue-33
No description.
Haskell ★ 1 7y agoExplain → -
ffi-problem
No description.
Haskell ★ 1 7y agoExplain → -
splitmix-experiment
No description.
Haskell ★ 1 6y agoExplain → -
reasonml-prototype
Prototype demo using Reason ML + React + Router
OCaml ★ 1 8y agoExplain → -
stack ⑂
The Haskell Tool Stack
Haskell ★ 1 7y agoExplain → -
slackYY
Yet another chat application
CSS ★ 1 9y agoExplain → -
amazon-pay-cc-parser
Amazon Pay ICICI CC Parser
Rust ★ 0 7d agoExplain → -
hdfc-cc-parser
HDFC Infinia CC Parser
Rust ★ 0 7d agoExplain → -
federal-cc-parser
Scapia Federal CC Parser
Rust ★ 0 8d agoExplain → -
levana-perps ⑂
Levana Well Funded Perpetual Swaps - smart contract, testing, and backend code
★ 0 9d agoExplain → -
react ⑂
A declarative, efficient, and flexible JavaScript library for building user interfaces.
JavaScript ★ 0 11y agoExplain → -
sqlx ⑂
🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, SQLite, and MSSQL.
★ 0 4y agoExplain → -
aider ⑂
aider is AI pair programming in your terminal
★ 0 1mo agoExplain → -
crypton-conduit
No description.
Haskell ★ 0 2mo agoExplain → -
dashboard ⑂
General-purpose web UI for Kubernetes clusters
★ 0 2y agoExplain → -
uniswap-v2-sdk-rs ⑂
Opinionated Rust implementation of the Uniswap V2 SDK
★ 0 8mo agoExplain → -
github-ci-test
No description.
Just ★ 0 11mo agoExplain → -
install-action ⑂
GitHub Action for installing development tools (mainly from GitHub Releases).
★ 0 11mo agoExplain → -
tombi ⑂
TOML Formatter / Linter / Language Server
★ 0 1y agoExplain → -
progit2 ⑂
Pro Git 2nd Edition
★ 0 1y agoExplain → -
cross-cache-issue
No description.
Just ★ 0 1y agoExplain → -
keplr_wasm_demo
No description.
Rust ★ 0 1y agoExplain → -
leptos-book ⑂
The home for the Leptos book, which can be found deployed at https://book.leptos.dev
★ 0 1y agoExplain → -
amber-demo
No description.
★ 0 1y agoExplain → -
bucket-cleaner
Bucket cleaner
Just ★ 0 2y agoExplain → -
asus-ec-sensors ⑂
Linux HWMON sensors driver for ASUS motherboards to get sensor readings from the embedded controller
★ 0 2y agoExplain → -
git-link ⑂
Emacs package to get the GitHub/Bitbucket/GitLab/... URL for a buffer location
Emacs Lisp ★ 0 2y agoExplain → -
health-check ⑂
A health check executable that checks for common server failure modes
★ 0 5mo agoExplain → -
casa ⑂
Content Addressable Storage Archive
★ 0 6y agoExplain → -
stackage-server ⑂
Server for stable, curated Haskell package sets
CSS ★ 0 7y agoExplain → -
effective-go
No description.
★ 0 2y agoExplain → -
ts-movement ⑂
Emacs 29+ minor mode for syntax tree navigation using Tree Sitter
Emacs Lisp ★ 0 2y agoExplain → -
packdeps ⑂
Web app to track lagging package dependencies.
★ 0 2y agoExplain → -
hyper-util ⑂
Common utilities used with hyper.
★ 0 2y agoExplain → -
goose ⑂
Load testing framework, inspired by Locust
★ 0 2y agoExplain → -
terraform-aws-alb ⑂
Terraform module to create AWS Application/Network Load Balancer (ALB/NLB) resources 🇺🇦
★ 0 2y agoExplain → -
minijinja ⑂
MiniJinja is a powerful but minimal dependency template engine for Rust compatible with Jinja/Jinja2
★ 0 2y agoExplain → -
rust_experiments
Sample code etc.
Rust ★ 0 2y agoExplain → -
pid1-rs ⑂
pid1 handling library for proper signal and zombie reaping of the PID1 process
Rust ★ 0 2y agoExplain → -
cloudflare-pages-demo
No description.
Shell ★ 0 2y agoExplain → -
lsp-java ⑂
lsp-mode :heart: java
★ 0 2y agoExplain → -
terraform-aws-ecs ⑂
Terraform module which creates AWS ECS resources 🇺🇦
★ 0 2y agoExplain → -
rust-mode ⑂
Emacs configuration for Rust
★ 0 3y agoExplain → -
nil ⑂
NIx Language server, an incremental analysis assistent for writing in Nix.
★ 0 3y agoExplain → -
pid1 ⑂
Do signal handling and orphan reaping for Unix PID1 init processes
Haskell ★ 0 3y agoExplain → -
compilers
No description.
C ★ 0 3y agoExplain → -
levana-cosmos-rs
Levana's Cosmos library in Rust and helper command line utilities
★ 0 3y agoExplain → -
rust-cache ⑂
A GitHub Action that implements smart caching for rust/cargo projects
★ 0 3y agoExplain → -
fpindia-site ⑂
The new FPIndia static site built using Ema
★ 0 3y agoExplain → -
mprocs ⑂
Run multiple commands in parallel
★ 0 4y agoExplain → -
process ⑂
Library for dealing with system processes
★ 0 3y agoExplain → -
terraform-ls ⑂
Terraform Language Server
★ 0 4y agoExplain → -
dex-website ⑂
Dex website
★ 0 3y agoExplain → -
just-mode.el ⑂
Emacs mode for justfiles
★ 0 4y agoExplain → -
amber ⑂
Manage secret values in-repo via public key cryptography
Rust ★ 0 3y agoExplain → -
http-reverse-proxy ⑂
Reverse proxy HTTP requests, either over raw sockets or with WAI
★ 0 4y agoExplain → -
axum-tonic-integration
No description.
Rust ★ 0 4y agoExplain → -
lsp-mode ⑂
Emacs client/library for the Language Server Protocol
Emacs Lisp ★ 0 2y agoExplain → -
rwh
No description.
HTML ★ 0 4y agoExplain → -
kubernetes-the-hard-way ⑂
Bootstrap Kubernetes the hard way on Google Cloud Platform. No scripts.
★ 0 4y agoExplain → -
tower ⑂
async fn(Request) -> Result<Response, Error>
★ 0 4y agoExplain → -
nixpkgs ⑂
Nix Packages collection
Nix ★ 0 1y agoExplain → -
divya
No description.
HTML ★ 0 3y agoExplain → -
nixos-hardware ⑂
A collection of NixOS modules covering hardware quirks.
★ 0 4y agoExplain → -
jose-jwt ⑂
Haskell implementation of JOSE/JWT standards
★ 0 4y agoExplain → -
melpa ⑂
Recipes and build machinery for the biggest Emacs package repo
Emacs Lisp ★ 0 4y agoExplain → -
just ⑂
🤖 Just a command runner
★ 0 1y agoExplain → -
kubel ⑂
Emacs extension for controlling Kubernetes with limited permissions
★ 0 3y agoExplain → -
tornado-websocket-example ⑂
No description.
HTML ★ 0 4y agoExplain → -
ouch ⑂
(WIP) Taking the pain away from file (de)compression
★ 0 4y agoExplain → -
website-1 ⑂
Source code for the cert-manager.io website, including project documentation
★ 0 4y agoExplain → -
dumb-jump ⑂
an Emacs "jump to definition" package for 50+ languages
★ 0 5y agoExplain → -
terraform-aws-eks ⑂
Terraform module to create an Elastic Kubernetes (EKS) cluster and associated worker instances on AWS
★ 0 5y agoExplain → -
ansible ⑂
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications — automate in a language that approaches plain English, using SSH, with no agents to install on remote systems. https://docs.ansible.com/ansible/
Python ★ 0 8y agoExplain → -
crates-build-env ⑂
Build environment for Rust crates
★ 0 5y agoExplain → -
website ⑂
Kubernetes website and documentation repo:
★ 0 5y agoExplain → -
markdown-mode ⑂
Emacs Markdown Mode
★ 0 3y agoExplain → -
nixos-ami-building ⑂
Methods for building custom NixOS AMIs
★ 0 5y agoExplain → -
awk
No description.
Emacs Lisp ★ 0 5y agoExplain → -
xmonad-contrib ⑂
Contributed modules for xmonad
Haskell ★ 0 5y agoExplain → -
azure-ci-debug
No description.
Shell ★ 0 5y agoExplain → -
consul-haskell ⑂
A haskell client library for consul (consul.io)
★ 0 5y agoExplain → -
spmc-example
No description.
Rust ★ 0 5y agoExplain → -
xmobar ⑂
A minimalistic, mostly text-based status bar
Haskell ★ 0 5y agoExplain → -
kube-score ⑂
Kubernetes object analysis with recommendations for improved reliability and security
★ 0 5y agoExplain → -
kustomize ⑂
Customization of kubernetes YAML configurations
★ 0 5y agoExplain → -
yamlparse-applicative ⑂
An optparse-applicative -style explainable yaml parser
Haskell ★ 0 5y agoExplain → -
bootstrap-salt-formula ⑂
No description.
★ 0 6y agoExplain → -
api ⑂
API definitions for the Istio project
★ 0 6y agoExplain → -
opentelemetry-haskell ⑂
The OpenTelemetry Haskell Client https://opentelemetry.io
★ 0 6y agoExplain → -
org-roam ⑂
Rudimentary Roam replica with Org-mode
★ 0 6y agoExplain → -
zfoh.ch ⑂
Our homepage
★ 0 6y agoExplain → -
xmobar-issue-exe
No description.
Haskell ★ 0 6y agoExplain → -
example-api-authz-python ⑂
Example Python service that uses OPA for API authorization.
★ 0 6y agoExplain → -
org-journal ⑂
A simple org-mode based journaling mode
★ 0 6y agoExplain → -
ghcup ⑂
!! THIS IS A MIRROR !!
★ 0 6y agoExplain → -
junit-report-rs ⑂
JUnit compatible XML reports in Rust
★ 0 6y agoExplain → -
opa ⑂
An open source, general-purpose policy engine.
★ 0 6y agoExplain → -
stackage ⑂
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Dockerfile ★ 0 2y agoExplain → -
herf-time ⑂
time interval library loosely based on the way time is handled by the Kerf programming language
★ 0 6y agoExplain → -
hedgehog-fakedata ⑂
A compatibility library for `hedgehog` and `fakedata`
★ 0 6y agoExplain → -
clicky
No description.
Rust ★ 0 6y agoExplain → -
faker ⑂
A library for generating fake data such as names, addresses, and phone numbers.
Ruby ★ 0 5y agoExplain → -
rusoto ⑂
AWS SDK for Rust
★ 0 6y agoExplain → -
credstash ⑂
A little utility for managing credentials in the cloud
★ 0 6y agoExplain → -
aws-azure-login ⑂
Use Azure AD SSO to log into the AWS via CLI.
★ 0 6y agoExplain → -
sortasecret ⑂
No description.
★ 0 6y agoExplain → -
tldr ⑂
:books: Simplified and community-driven man pages
Python ★ 0 6y agoExplain → -
discovery ⑂
Discover the world of microcontrollers through Rust!
★ 0 6y agoExplain → -
xmonad-extras ⑂
Various modules for xmonad that cannot be added to xmonad-contrib because of additional dependencies.
Haskell ★ 0 6y agoExplain → -
Shelly.hs ⑂
Haskell shell scripting
Haskell ★ 0 8y agoExplain → -
miniupnp ⑂
UPnP IGD implementation
C ★ 0 7y agoExplain → -
weigh ⑂
Measure allocations of a Haskell functions/values
Haskell ★ 0 7y agoExplain → -
infer ⑂
A static analyzer for Java, C, C++, and Objective-C
OCaml ★ 0 7y agoExplain → -
azure-integration-test
No description.
★ 0 7y agoExplain → -
haskell.fpcomplete.com ⑂
FP Complete's Haskell Homepage
Haskell ★ 0 7y agoExplain → -
hatrace ⑂
scriptable strace
Haskell ★ 0 7y agoExplain → -
terraform-aws-foundation ⑂
Establish a solid Foundation on AWS with these modules for Terraform
HCL ★ 0 7y agoExplain → -
xxhash-ffi ⑂
Haskell FFI bindings to xxHash
C ★ 0 7y agoExplain → -
hs-ed25519 ⑂
Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.
C ★ 0 7y agoExplain → -
hs-ed25519-donna ⑂
Haskell bindings to floodyberry's ed25519 C code (EC signature scheme)
Haskell ★ 0 7y agoExplain → -
saltine ⑂
Cryptography that's easy to digest (NaCl/libsodium bindings)
Haskell ★ 0 7y agoExplain → -
cryptonite ⑂
lowlevel set of cryptographic primitives for haskell
C ★ 0 7y agoExplain → -
halogen-demo
No description.
PureScript ★ 0 7y agoExplain → -
pool ⑂
A high-performance striped resource pooling implementation for Haskell
Haskell ★ 0 9y agoExplain → -
purescript-jordans-reference ⑂
Repo for documenting my learnings of Purescript
PureScript ★ 0 7y agoExplain → -
unliftio ⑂
The MonadUnliftIO typeclass for unlifting monads to IO
Haskell ★ 0 7y agoExplain → -
ground
Notes
Assembly ★ 0 7y agoExplain → -
packcheck ⑂
Universal build and CI testing for Haskell packages
Shell ★ 0 8y agoExplain → -
hcar
No description.
TeX ★ 0 7y agoExplain → -
sqitch
No description.
PLpgSQL ★ 0 7y agoExplain → -
text ⑂
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
Haskell ★ 0 8y agoExplain → -
xmonad ⑂
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Haskell ★ 0 8y agoExplain → -
automata
No description.
TeX ★ 0 8y agoExplain → -
mime-mail ⑂
Compose MIME email messages.
Haskell ★ 0 8y agoExplain → -
yesod-cookbook ⑂
Cookbook documentation
Haskell ★ 0 8y agoExplain → -
twiml-haskell ⑂
TwiML library for Haskell
Haskell ★ 0 8y agoExplain →
No repos match these filters.