Lists (3)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- AppleScript
- Astro
- AutoHotkey
- Batchfile
- Blade
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Clojure
- Common Lisp
- Cuda
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- F#
- Fennel
- Forth
- Game Maker Language
- Go
- HCL
- HTML
- Haskell
- Haxe
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- Kotlin
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Monkey C
- Nix
- OCaml
- Objective-C
- Objective-C++
- PHP
- PLpgSQL
- Perl
- PureScript
- Python
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Starlark
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- Zig
🍿 A cross-browser library of CSS animations. As easy to use as an easy thing.
Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more
❄️ Dark Gtk3.20+ theme created using the awesome Nord color pallete.
Transform your Org mode files into stunning HTML documents in minutes with our Org mode HTML theme. Elevate your productivity and impress your readers! #orgmode #html #theme #productivity #design
e-book version of Bartosz Milewski's Category Theory for Programmers
JVM Bloggers - website and newsletter with JVM blogs from Poland
gallery of themes for hakyll static site generator
This patchs code-server to enable load fonts (IBM Plex Mono and Fira Mono For Powerline) in server.
A template for quickly building sites with slick
A template for an Agda project with automatic GitHub Pages support
A ultra low latency real‑time voice agent built with NVIDIA Riva, NVIDIA NIM, Pipecat and a modern web client.