Highlights
- Pro
Lists (13)
Sort Name ascending (A-Z)
Stars
- All languages
- ANTLR
- ATS
- Agda
- Assembly
- Awk
- BQN
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F*
- Factor
- Faust
- Forth
- Fortran
- G-code
- GDScript
- GLSL
- Go
- HTML
- Hack
- Haskell
- Idris
- Isabelle
- JSON
- Janet
- Java
- JavaScript
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lua
- Makefile
- NCL
- NSIS
- NewLisp
- Nim
- Nix
- OCaml
- OpenSCAD
- PHP
- PostScript
- PowerShell
- Processing
- Prolog
- PureScript
- Python
- Racket
- Reason
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Spline Font Database
- Standard ML
- Swift
- SystemVerilog
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Zig
A simple card guessing game for MTG Commander decks
A special repository for displaying a README on my GitHub profile
Lightweight yet powerful formatter plugin for Neovim
language server that bridges the gap between languages, editors, and tooling
A small utility to help with kanidm provisioning
Zero-Trust access management with true WireGuard® 2FA/MFA
🍁 Generate infrastructure and network diagrams directly from your NixOS configurations
A Nix DSL for DNS zone files [maintainers=@raitobezarius @kirelagin @Tom-Hubrecht]
Web service for managing information on vulnerabilities in software distributed through Nixpkgs
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Aiming to be the most overkill NixOS config in the entire world.
https://noogle.dev - nix function exploring. [maintainer=@hsjobeki]
Simple and fast static-page NixOS option search
Fast and professional audio metering/visualization for Linux.
Airwindows, Consolidated into a single Library, Rack Plugin and DAW Plugin
A language server for Azure Pipelines YAML
A pure JavaScript implementation of git for node and browsers!