spl

Pinned Repositories

cv
My CV
Language:TeX0 3 00
dlist
Difference lists in Haskell
Language:Haskell64 6 3215
font-awesome-type
A Font Awesome data type enumerating all icon classes in Haskell
Language:Haskell8 4 31
homebrew-pdftk
(UNMAINTAINED) Homebrew Formula for PDFtk Server
Language:Ruby54 12 126
ivy
A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
Language:OCaml15 3 21
multi-ghc
Tools to support multiple GHC distributions in a Bash shell environment
Language:Shell14 3 01
talks
Sources of various talks that I've given
Language:Haskell4 4 00
zfs-on-mac
My personal ZFS on macOS instructions and scripts
Language:Shell82 6 110
terminusdb
TerminusDB is a distributed database with a collaboration model
Language:Prolog2.7k 37 974102
terminusdb-store
a tokio-enabled data store for triple data
Language:Rust358 12 6132

spl's Repositories

spl/zfs-on-mac
My personal ZFS on macOS instructions and scripts
Language:Shell82 6 110
spl/dlist
Difference lists in Haskell
Language:Haskell64 6 3215
spl/bash-config
My bash configuration files
Language:Shell1 3 0
spl/cv
My CV
Language:TeX0 3 00
spl/action-update-license-year
Testing action-update-license-year
3 0
spl/changelog-from-release
ChangeLog generator via GitHub releases
Language:Go1 0
spl/clear-sans-fonts
Clear Sans font family from Intel and Monotype
Language:Python3 0
spl/e-nesbit_the-enchanted-castle
Epub source for the Standard Ebooks edition of The Enchanted Castle, by E. Nesbit. Illustrated by H. R. Millar
Language:HTML1 0
spl/extractFea
Write an Adobe FEA file from binary font data.
Language:Python2 0
spl/filestash-website
http://www.filestash.app
Language:HTML1 0
spl/firerss
🔥 RSS Reader for developer, which based on github actions
Language:TypeScript1 0
spl/git-config
My git configuration files
Language:Shell3 0
spl/graphite2-sys-rust
Rust bindings to graphite2
Language:C++3 02
spl/homebrew-core
🍻 Default formulae for the missing package manager for macOS
Language:Ruby3 0
spl/kitty-config
My kitty configuration files
3 0
spl/layout-sandbox
Experimenting with HTML and CSS layout
Language:HTML3 0
spl/markdown-licenses
A collection of open source licenses in Markdown format. Contributions are always welcome!
1 0
spl/philosophical-notes
Sean's philosophical notes
Language:CSS2 0
spl/photonix
A modern, web-based photo management server. Run it on your home server and it will let you find the right photo from your collection on any device. Smart filtering is made possible by object recognition, face recognition, location awareness, color analysis and other ML algorithms.
Language:Python1 0
spl/posthtml-toc
📑Table of contents
Language:JavaScript2 0
spl/rubil
A HTML builder written in rust
Language:Rust1 0
spl/setup-swi-prolog
Setup SWI-Prolog action
Language:JavaScript1 0
spl/surrealdb
A scalable, distributed, collaborative, document-graph database, for the realtime web
Language:Rust1 0
spl/swipl
SWI-Prolog stable releases
Language:C1 0
spl/terminus_store_prolog
Prolog binding for terminusdb-store
Language:Prolog1 0
spl/terminusdb
Open source graph database and document store. Designed for collaboratively building data-intensive applications and knowledge graphs.
Language:Prolog1 0
spl/terminusdb-builder
TerminusDB builder image
Language:Dockerfile2 0
spl/terminusdb-client-js
Javascript client for TerminusDB - reference implementation of API
Language:JavaScript1 0
spl/terminusdb-store
a tokio-enabled data store for triple data
Language:Rust2 0
spl/vim-config
My vim configuration files
Language:Vim script3 0