Stars
- All languages
- Agda
- Arduino
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Crystal
- Dhall
- Emacs Lisp
- Forth
- Go
- HCL
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- LLVM
- Lean
- Makefile
- Nix
- OCaml
- Objective-C
- Objective-C++
- PLpgSQL
- Perl
- PostScript
- PowerShell
- PureScript
- Python
- R
- Racket
- Rez
- Rich Text Format
- Roff
- Ruby
- Rust
- Scheme
- Shell
- Swift
- SystemVerilog
- TeX
- TypeScript
- YAML
- ZAP
- ZIL
A pedagogical functional programming language.
Intelligence for Kubernetes. World's most promising Kubernetes Visualization Tool for Developer and Platform Engineering teams.
A multi-llm Emacs shell (ChatGPT, Claude, Gemini, Kagi, Ollama, Perplexity) + editing integrations
A simple, easy to use PowerShell script to remove pre-installed apps from Windows, disable telemetry, remove Bing from Windows search as well as perform various other changes to declutter and impro…
JSaddle integration for the GHC Wasm backend
being some thoughts about introductory mathematics for computer science
A LSP-Mode client for copilot, ready for inline completions!
Production ready, modern web-application starter template using haskell and htmx
Encrypt Kubernetes Secrets using Hashicorp Vault as the KMS Provider
Automated resources sizing tool for containers in kubernetes
a lightweight and performant multicast DNS (mDNS) reflector with modern design, supports zone based reflection and IPv6
Go client with types and tests for the Proxmox-VE REST API
Cluster API Provider for Proxmox VE (CAPMOX)
Cluster API provider implementation for Proxmox VE
A set of Rust mini apps compiling to wasm, rendering tweens
astr0n8t / vyos-builds
Forked from DMarby/vyos-tailscalevyos tailscale but with github actions to build
Experiments about running Haskell via WebAssembly on Fastly
A secrets management service that uses Tailscale for access control
LlamaIndex is the leading framework for building LLM-powered agents over your data.