Nils Alex (nilsalex)

nilsalex

Geek Repo

Github PK Tool:Github PK Tool

Nils Alex's repositories

Language:TypeScriptLicense:MITStargazers:3Issues:4Issues:0

language-model-server

A small server for talking to the google FLAN-T5 models.

Language:PythonLicense:MITStargazers:2Issues:1Issues:0

safe-tensor

dependently typed tensor algebra in Haskell

Language:HaskellLicense:MITStargazers:2Issues:2Issues:0
Language:RustLicense:MITStargazers:2Issues:4Issues:0
Language:NixStargazers:1Issues:2Issues:0

area-metric-gravity

3+1 split of area metric gravity to second order -- active research

Language:PythonStargazers:0Issues:2Issues:0

sparse-tensor

typesafe implementation of tensor algebra in Haskell

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

aoc-y2018

advent of code 2018

Language:RustStargazers:0Issues:0Issues:0

aoc-y2020

advent of code 2020

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

aoc-y2021

advent of code 2021 (trying rust)

Language:RustStargazers:0Issues:2Issues:0

aoc-y2022

advent of code 2022

Language:RustStargazers:0Issues:1Issues:0
Language:RustLicense:MITStargazers:0Issues:0Issues:0

argo-workflows

Workflow engine for Kubernetes

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:HCLStargazers:0Issues:2Issues:0
Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0

gRPC-haskell

Haskell gRPC support

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:1Issues:0

helm-charts

Prometheus community Helm charts

Language:MustacheLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

hs-misc

haskell stuff

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0
Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

kickstart.nvim

A launch point for your personal nvim configuration

Language:LuaLicense:MITStargazers:0Issues:0Issues:0

linear-base

Standard library for linear types in Haskell.

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0
Language:TypeScriptStargazers:0Issues:1Issues:0

PSQueue

Priority Search Queue

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

rs-chat

Simple chat server based on WebSockets.

Language:RustLicense:MITStargazers:0Issues:1Issues:0

scorecard-action

Official GitHub Action for OpenSSF Scorecard.

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0

stackage

"Stable Hackage": vetted consistent packages from Hackage

Language:ShellLicense:MITStargazers:0Issues:1Issues:0
Language:NixStargazers:0Issues:1Issues:0
Language:NixStargazers:0Issues:1Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0