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
ml-lab
NixOS
OpenScienceWorkshops
QuantixManifold
Quantum-AI-Blockchain
QuantumHaskell
rowtype-yoga
scirate
SexMonad
stupidhackathonmelbourne

Noon van der Silk's repositories

Language:ElmLicense:MITStargazers:0Issues:0Issues:0

bevy

A refreshingly simple data-driven game engine built in Rust

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

cabal-sat

Using cabal-install as SAT solver

Stargazers:0Issues:0Issues:0

chirho

An experimental language for causal reasoning

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

cola

🥤 A text CRDT for real-time collaborative editing

License:MITStargazers:0Issues:0Issues:0

colmena

A simple, stateless NixOS deployment tool

License:MITStargazers:0Issues:0Issues:0

cooklang-chef

A CLI to manage cooklang recipes

License:MITStargazers:0Issues:0Issues:0

cursorless

Don't let the cursor slow you down

License:MITStargazers:0Issues:0Issues:0

fh

The official CLI for FlakeHub: search for flakes, and add new inputs to your Nix flake.

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

flake-root

A `flake-parts` module for finding your way to the project root directory

License:MITStargazers:0Issues:0Issues:0

FPClimate

PhD course on Functional Programming and Climate Impact Research

Stargazers:0Issues:1Issues:0

innovationgraph

GitHub Innovation Graph

License:CC0-1.0Stargazers:0Issues:0Issues:0

iqtree2

NEW location of IQ-TREE software for efficient phylogenomic software by maximum likelihood http://www.iqtree.org

Language:C++License:GPL-2.0Stargazers:0Issues:0Issues:0

Linkal

A public-calendar aggregator server

License:GPL-3.0Stargazers:0Issues:0Issues:0

lychee

⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!

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

mig

Lightweight and composable servers for Haskell

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

nix-appimage

Convert a nixos derivation into a self-contained binary

License:MITStargazers:0Issues:0Issues:0

nix-ci-build

Combine the power of nix-eval-jobs with nix-output-monitor to supercharge your ci evaluation and building process.

Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

nix-your-shell

A `nix` and `nix-shell` wrapper for shells other than `bash`

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

poly-decomp.js

Decompose 2D polygons into convex pieces.

License:MITStargazers:0Issues:0Issues:0

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

sh-hmac-sha1

HMAC-SHA1 implemented in POSIX shell script (without openssl)

License:UnlicenseStargazers:0Issues:0Issues:0

snail

A programming language for gastropods

License:MITStargazers:0Issues:0Issues:0

SQcircuit

Superconducting quantum circuit analyzer

License:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:1Issues:0

sunbeam

A robust, extensible metagenomics pipeline

Language:HTMLStargazers:0Issues:1Issues:0

uiua

A stack-based array programming language

License:MITStargazers:0Issues:0Issues:0

vim-cooklang

A cooklang syntax highlighting plugin for vim.

License:MITStargazers:0Issues:0Issues:0