Pinned Repositories
area-metric-gravity
3+1 split of area metric gravity to second order -- active research
einstein-gravity-second-order
3+1 split of general relativity to second order
language-model-server
A small server for talking to the google FLAN-T5 models.
nixos
safe-tensor
dependently typed tensor algebra in Haskell
sparse-tensor
typesafe implementation of tensor algebra in Haskell
tensor-trees
tensor algebra based on rose trees
yktotp
yktotp-jsonapi
sparse-tensor
typesafe implementation of tensor algebra in Haskell
nilsalex's Repositories
nilsalex/yktotp
nilsalex/language-model-server
A small server for talking to the google FLAN-T5 models.
nilsalex/safe-tensor
dependently typed tensor algebra in Haskell
nilsalex/yktotp-jsonapi
nilsalex/nixos
nilsalex/area-metric-gravity
3+1 split of area metric gravity to second order -- active research
nilsalex/einstein-gravity-second-order
3+1 split of general relativity to second order
nilsalex/sparse-tensor
typesafe implementation of tensor algebra in Haskell
nilsalex/aoc-y2018
advent of code 2018
nilsalex/aoc-y2020
advent of code 2020
nilsalex/aoc-y2021
advent of code 2021 (trying rust)
nilsalex/aoc-y2022
advent of code 2022
nilsalex/aoc-y2023
nilsalex/argo-workflows
Workflow engine for Kubernetes
nilsalex/aws-notification
nilsalex/chat-app
nilsalex/gRPC-haskell
Haskell gRPC support
nilsalex/helm-charts
Prometheus community Helm charts
nilsalex/hs-factor
nilsalex/hs-misc
haskell stuff
nilsalex/hs-rt
nilsalex/kickstart.nvim
A launch point for your personal nvim configuration
nilsalex/linear-base
Standard library for linear types in Haskell.
nilsalex/prime-ai
nilsalex/PSQueue
Priority Search Queue
nilsalex/rs-chat
Simple chat server based on WebSockets.
nilsalex/scorecard-action
Official GitHub Action for OpenSSF Scorecard.
nilsalex/stackage
"Stable Hackage": vetted consistent packages from Hackage
nilsalex/webdev.nix
nilsalex/webpack-public-path