- Crazy Universe
-
16:40
(UTC +08:00)
Lists (15)
Sort Oldest
- All languages
- ASL
- Agda
- Arduino
- Assembly
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dart
- Dhall
- Dockerfile
- Elm
- Emacs Lisp
- GLSL
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- JetBrains MPS
- Jsonnet
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- M4
- MDX
- Makefile
- Markdown
- Mathematica
- NCL
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- PHP
- PLpgSQL
- Perl
- PowerShell
- PureScript
- Python
- Ruby
- Rust
- Scala
- ShaderLab
- Shell
- SourcePawn
- SuperCollider
- Swift
- TeX
- TypeScript
- V
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- XSLT
- Zig
- jq
- mcfunction
Starred repositories
Style and Grammar Checker for 25+ Languages
System-wide colorscheming and typography for NixOS
A NixOS module which lets you route traffic from systemd services through a VPN while preventing DNS leaks.
Container registry which transparently builds images using the Nix package manager. Canonical repository is https://cs.tvl.fyi/depot/-/tree/tools/nixery
Kaishi 1.5k is a modern, modular Japanese Anki deck made for beginners who want to learn basic vocabulary.
A Nix flake for automating the generation and integration of AMD microcode updates.
bidirectional type checking algorithms for higher-ranked polymorphism
Use Mullvad VPN along with Tailscale and/or Zerotier
Homomorphic Encryption library and applications in Swift
Vim mode for VSCode, powered by Neovim
Load a GHCi session for a Haskell project and reload it when source files change
Formal specifications of the cardano ledger
Haskell implementation of grammar-based compression algorithm SEQUITUR
An array implementation for Nix with logarithmic update and access operations
Opinionated Rust/Haskell ecosystem of libraries and tools to work with Cardano smart contracts
Persistence interface for Haskell allowing multiple storage methods.
A Haskell library for on-disk tables based on LSM-Trees
The Proxmox Hypervisor, on NixOS [maintainers=@camillemndn @julienmalka]
shader-like effects library for ratatui applications
A work-in-progress PureScript to Plutus Core compiler