• Stars
    star
    1
  • Language
    Nix
  • Created 6 months ago
  • Updated 6 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Reproducer for slow NixOS evals even with minimal module list

More Repositories

1

server-optimised-nixos

Nix
75
star
2

GoogleStalker

GoogleStalker is a tool to make people realize how much data Google has on you and how detailed this data is.
JavaScript
69
star
3

Hom

Hom - React.JS for Haskell!
JavaScript
39
star
4

webauthn-oidc

an stateless OpenID Connect authorization server that mints ID Tokens from Webauthn challenges
Go
29
star
5

servis

Github project where I track everything related to my thesis
TeX
26
star
6

nixos-stuff

Nixos stuff
HTML
24
star
7

nix-acbuild

Build minimal ACI containers using the Nix package manager
Nix
17
star
8

packet-ipv6-kubernetes

Nix
16
star
9

servant-jwt-example

Servant authentication with javascript web tokens
Haskell
16
star
10

nomad-driver-systemd

Go
13
star
11

ghcjs-servant-client

Automatic generation of haskell functions for querying servant webservices ... in GHCJS!
Haskell
13
star
12

cgroup-exporter

Go
10
star
13

haskell-fido2

A library for parsing and validating webauthn/fido2 credentials
Haskell
10
star
14

generics-mrsop-diff

Typesafe structural diffing of haskell datratypes using generics
Haskell
9
star
15

generics-mrsop-graphviz

Visualization of haskell datatypes
Haskell
8
star
16

crdt

Haskell implementation of CRDTs
Haskell
7
star
17

nixos-village

AWS infrastructure for the NixOS village at Camp
HCL
6
star
18

BSODOS

a little joke kernel, displays a BSOD and halts.
C
6
star
19

ShowcaseView

Java
6
star
20

arianvp.me

Nix
5
star
21

types-and-statemachines

Research project about types and state machines, and their applications in HTTP
Agda
5
star
22

SummerOS

a summer project. time for an operating system!
C
4
star
23

Haskeme

Haskell Scheme parser
Haskell
4
star
24

scotty-lucid

lucid integration for Scotty
Haskell
4
star
25

nixos-vultr-bootstrap

Nix
4
star
26

elixir-isaac

Elixir
4
star
27

auth

auth is a highly modern, secure and minimal identity management paltform
Go
3
star
28

kpop.sh

Proof of Prior Knowledge service
Nix
3
star
29

servant-tutorial

Haskell
3
star
30

systemd_exporter

Exports systemd metrics to prometheus
Go
3
star
31

webauthn-minimal

Minimal go implementation of a Webauthn L2 relying party
Go
3
star
32

colog-journald

Journald logging for the colog library
Haskell
3
star
33

hconfig

Applicative configuration DSL
Haskell
3
star
34

public-key-credential-element

a Form-associated custom element for Webauthn
TypeScript
3
star
35

mini-hydra

Nix
2
star
36

hex

Hex-tools is a docker substitute built on systemd and btrfs
2
star
37

generics-mrsop-gdiff

Haskell
2
star
38

meteorchat

A mobile chat app written in Meteor
JavaScript
2
star
39

vulkano-pathtracer

A multi-stage unidirectional path tracer for microfacet models
Rust
2
star
40

RuneSauce

Runescape Emulator in Coffeescript
CoffeeScript
2
star
41

nixcon2024

HCL
1
star
42

toiletfreshener

An intelligent toilet freshener
Arduino
1
star
43

try_git

1
star
44

hashicorp-cluster

Deploy a hashicorp cluster with ansible
HCL
1
star
45

ISAAC

A portable version of the ISAAC stream cipher
C
1
star
46

edible

a RESTful blogging platform based on node.js
CSS
1
star
47

elm-gallery

A simple elm-html app with CSS transitiosn.
Elm
1
star
48

type-level-web

A talk for Bobkonf
1
star
49

keyboards

Collection of firmware for the keyboards I own
1
star
50

recipes

Recipe manager for ARM Mainframes (Where Mainframe is a small device, like a smartphone, sitting on your desk ;))
COBOL
1
star
51

frameless

Frameless is a CSS framework that does it right.
JavaScript
1
star
52

SnakesOnACanvas

THERE'S A SNAKE IN MY BOOT
JavaScript
1
star
53

Coffeescript-NodeJS-chatserver

a coffeescript + node.js chat server
1
star
54

mbd-report

PAC Learning Research
Python
1
star
55

venus

Elixir
1
star
56

tresor

Go
1
star
57

ledstrip

Firmware for the ESP8266 for driving WS2821/2 Ledstrips
JavaScript
1
star
58

RayTracerLinux

Jacco Bikker's RayTracer with modifications for linux. All rights reserved
C#
1
star
59

latex-template

Nixos latex
Nix
1
star
60

wlpawesomeness

Program verification assignment 1
Haskell
1
star
61

arduinoscilloscope

This was used to see if I could turn harddrive motor output into gray code using some comparators. Will turn it into a web-based oscilloscope
JavaScript
1
star
62

hginx

A haskell web server with systemd socket activation support
Haskell
1
star
63

xv6

An OS that I use to learn about OS Dev
C
1
star
64

MidiProject

Arduino
1
star
65

arch-t430s-installer

Provisioner for my laptop. will remove ansible dependency later.
1
star
66

slog-journal

slog: Handler for systemd journal
Go
1
star
67

systemd-creds

Go
1
star