👋
say hi
PLT + compilers; haskell champion; agda newbie.
- Glasgow, UK
-
11:02
(UTC +01:00) - https://cyberglot.space
- @cyberglot
Lists (6)
Sort Name ascending (A-Z)
Stars
Language: Nix
All languages
AMPL
ATS
Agda
Assembly
C
C#
C++
CSS
Clojure
CoffeeScript
Common Lisp
Coq
Cuda
Curry
D
Elixir
Elm
Emacs Lisp
Erlang
F#
F*
Factor
Forth
FreeMarker
Frege
Futhark
GDScript
Go
HCL
HLSL
HTML
Handlebars
Haskell
Idris
Isabelle
Java
JavaScript
Julia
Jupyter Notebook
LLVM
Lean
Less
LiveScript
Lua
MDX
Makefile
Markdown
Mercury
Nix
Nunjucks
OCaml
Objective-C
PHP
Perl
PostScript
Prolog
PureScript
Python
R
Racket
ReScript
Reason
Rich Text Format
Roff
Ruby
Rust
SCSS
Scala
Scheme
Shell
Solidity
Standard ML
Svelte
Swift
SystemVerilog
TLA
TeX
TypeScript
Verilog
Vim Script
WebAssembly
XSLT
Nothing to show
Sort by: Most stars
10
stars
written in Nix
Clear filter
Manage a user environment using Nix [maintainer=@rycee]
A (more or less) one page introduction to Nix, the language.
Alternative Haskell Infrastructure for Nixpkgs
Declarative system configurations using nixOS, nix-darwin, and home-manager
KISS NixOS configuration based on Flakes & flake-parts (supports macOS too)
Run NixOS VMs on macOS! https://github.com/NixOS/nixpkgs/issues/108984
https://www.cs.uoregon.edu/research/summerschool/summer18/topics.php#Keller