Hjdskes

followers

0

following

stars

@griffinbank

Stockholm, Sweden

https://www.hjdskes.nl

Organizations

BunsenLabs

libratbag

spoofax-shell-2016

Jente Hidskes Ankarberg's starred repositories

terraform

Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared amongst team members, treated as code, edited, reviewed, and versioned.

Language:GoNOASSERTION42421 1165 21000

open-source-rover

A build-it-yourself, 6-wheel rover based on the rovers on Mars!

Language:PrologApache-2.08534 454 274

bitwise

Bitwise is an educational project where we create the software/hardware stack for a computer from scratch.

Language:CNOASSERTION5121 421 42

http4s

A minimal, idiomatic Scala interface for HTTP

Language:ScalaApache-2.02546 72 1395

wlroots

A modular Wayland compositor library

Language:CMIT2150 103 1235

cats-effect

The pure asynchronous runtime for Scala

Language:ScalaApache-2.02018 77 980

refined

Refinement types for Scala

Language:ScalaMIT1706 24 210

skunk

A data access library for Scala + Postgres.

Language:ScalaMIT1576 31 145

kernel

A hobby operating system, in Rust

Language:RustApache-2.01390 71 65

oh

A new Unix shell.

Language:GoMIT1358 39 46

HaLVM

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

Language:HaskellBSD-3-Clause1048 84 101

haskell-resources

A List of Foundational Haskell Papers

Language:JavaScriptNOASSERTION862 46 5

waymonad

A wayland compositor based on ideas from and inspired by xmonad

Language:HaskellLGPL-2.1840 71 43

ling

Erlang on Xen

Language:CNOASSERTION799 73 105

pfps-shopping-cart

:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

Language:ScalaApache-2.0531 18 17

system

Declarative system configurations using nixOS, nix-darwin, and home-manager

Language:NixMIT426 7 11

terraform-nixos

A set of Terraform modules that are designed to deploy NixOS [maintainer=@adrian-gierakowski]

Language:HCLApache-2.0331 37 33

rux

A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.

Language:RustMIT295 170

proofs

My personal repository of formally verified mathematics.

Language:CoqNOASSERTION290 11 2

nix-env-selector

Allows switch environment for Visual Studio Code using Nix Package Manager.

Language:ClojureMIT221 4 50

awesome-functional-studies

A curated list of functional programming resources to study the fp paradigm

fs2-chat

Sample project demonstrating use of fs2-io to build a chat client and server

Language:ScalaMIT130 180

advent-of-code-2020

🎅🌟❄️☃️🎄🎁

Language:HaskellBSD-3-Clause98 9 1

arch-pkgs

Management repo for my Arch Linux systems. Mirror of https://gitlab.com/mdaffin/arch-pkgs

Language:ShellMIT83 7 10

pkgbuilds

Personal packages

Language:ShellNOASSERTION53 7 4

cardboard

A unique, tiling Wayland compositor designed for laptops. Mirror of GitLab repo.

Language:C++GPL-3.052 30

nixos-config

NixOS configuration

Language:NixMIT30 5 3

emacs.d

My life is dope and I have dope emacs configs

Language:Emacs Lisp25 20

ESP32-Smart-Alarm-Clock

ESP32 Smart Alarm Clock

Language:C++MIT21 3 1

niveum

dotfiles / NixOS config

Language:Nix17 5 6