Noon van der Silk (silky)

silky

Geek Repo

Company:@Elaniti

Location:Edinburgh, UK

Home Page:https://silky.github.io/

Github PK Tool:Github PK Tool


Organizations
AllThing
BetweenBooks
BraneShop
composeconference
ComputingVisions
DataHaskell
FixPlanet
hahayes
internet-high-five-machine
MachineLearningUniversity
MFPAI
ml-lab
NixOS
OpenScienceWorkshops
QuantixManifold
Quantum-AI-Blockchain
QuantumHaskell
rowtype-yoga
scirate
SexMonad
stupidhackathonmelbourne
vandersilk

Noon van der Silk's repositories

johnae-world

NixOS configuration

Language:NixLicense:MITStargazers:1Issues:0Issues:0

mrjones2014-dotfiles

❄️ My dotfiles for NixOS and macOS as a Nix flake. Neovim, Fish shell, Wezterm, etc.

Language:LuaStargazers:1Issues:0Issues:0

vim-agda-input

Agda-mode input symbols vim plugin

Language:Vim ScriptStargazers:1Issues:1Issues:0

aws-nitro-util

Utilities to reproducibly build images for AWS Nitro Enclaves

License:MITStargazers:0Issues:0Issues:0

black-forest-labs-flux

Official inference repo for FLUX.1 models

License:Apache-2.0Stargazers:0Issues:0Issues:0

bookshelf

3D animated bookshelf for ebooks

Stargazers:0Issues:0Issues:0
Language:CoqLicense:MITStargazers:0Issues:0Issues:0

dbt-action-nix

An action that allows for multiple DBT commands using NixOS and Flakes

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

diagonal-b6

b6: Diagonal's geospatial analysis engine.

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

drawdb

Free, simple, and intuitive online database design tool and SQL generator.

License:AGPL-3.0Stargazers:0Issues:0Issues:0

dslide

A presentation framework for Emacs. If Emacs can do it, you can present it. Yes, Org mode too.

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

ghc-wasm-earthly

GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly

Language:HaskellStargazers:0Issues:0Issues:0

Hackberry-Pi_Zero

A handheld Linux terminal using Raspberry pi Zero 2W as Core with 4' 720X720 TFT display

License:MITStargazers:0Issues:0Issues:0

jnsgruk-nixos-config

jnsgruk's nix flake ❄️

License:Apache-2.0Stargazers:0Issues:0Issues:0

kor

A Golang Tool to discover unused Kubernetes Resources

Language:GoLicense:MITStargazers:0Issues:0Issues:0

lg-webos-alga

CLI for remote controlling LG webOS TVs

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

mmzk-typeid

A TypeID and UUIDv7 implementation in Haskell

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

nix-gaming

Gaming on Nix

Language:NixLicense:MITStargazers:0Issues:0Issues:0

nixops4

Deploy with Nix and manage resources declaratively

Language:RustStargazers:0Issues:1Issues:0
Language:Vim ScriptLicense:MITStargazers:0Issues:2Issues:0

nvidia-patch

This patch removes restriction on maximum number of simultaneous NVENC video encoding sessions imposed by Nvidia to consumer-grade GPUs.

Language:PythonStargazers:0Issues:0Issues:0

pumba

Chaos testing, network emulation, and stress testing tool for containers

License:Apache-2.0Stargazers:0Issues:0Issues:0

reladiff

High-performance diffing of large datasets across databases

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

terminaltexteffects

Visual effects applied to text in the terminal.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

testcontainers-hs

Docker containers for your integration tests! http://hackage.haskell.org/package/testcontainers

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

Uno

A next-gen solver for optimization with nonconvex objective and constraints. Reimplements filterSQP and IPOPT (barrier) in a modern and generic way, and unlocks a variety of novel methods. Competitive against filterSQP, IPOPT, SNOPT, MINOS and CONOPT.

Language:C++License:MITStargazers:0Issues:0Issues:0

wimpy-nix-config

Wimpy's NixOS & Home Manager Configurations ❄️

Language:NixLicense:MITStargazers:0Issues:0Issues:0