-
Lean FRO
- Munich, Germany
-
04:30
(UTC +02:00)
- All languages
- Agda
- Assembly
- Bikeshed
- Bluespec
- C
- C#
- C++
- CSS
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dart
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Gnuplot
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Markdown
- Nim
- Nix
- OCaml
- Odin
- OpenSCAD
- PHP
- Perl
- Prolog
- Python
- R
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Sail
- Scala
- Shell
- Swift
- SystemVerilog
- TLA
- TeX
- Tree-sitter Query
- TypeScript
- Typst
- Verilog
- Vim Script
- Vue
- WebAssembly
- YASnippet
- reStructuredText
Starred repositories
7
stars
written in Nix
Clear filter
Manage a user environment using Nix [maintainer=@khaneliman, @rycee]
A collection of NixOS modules covering hardware quirks.
A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.
Nix - Static, Permissionless, Installation-free, Pre-configured
A DevOps framework for the SDLC with the power of Nix and Flakes. Good for keeping deadlines!
Nix Expressions for Altera(Intel) Quartus