Jack Valinsky's repositories
DungeonWorld
CSC 291 Final Project
haskell-english-fragment
Modeling plurals, mass terms of fragment of English in Haskell
analysis
A Lean companion to Analysis I
bluesky-backup-webapp-server
A server-side version of the Bluesky Backup app
decomp
The Universal Decompositional Semantics (UDS) dataset and the Decomp toolkit
factslab.github.io
The website for FACTS.lab at UR
intro_julia_talk
Introduction to the Julia Programming Language
deer-social
fork of social app with toggles for niche features
dhall-haskell
Maintainable configuration files
dhall-rust
Maintainable configuration files, for Rust users
gguf-docs
Docs for GGUF quantization (unofficial)
gleam
⭐️ A friendly language for building type-safe, scalable systems!
jsPsych-tasks
YR2 JsPsych tasks
jvalinsky.github.io
personal website
leaflet
A tool for shared writing and social publishing
meshtastic-rust
A Rust library for connecting to and configuring Meshtastic radios.
microcosm-rs
Links and references in the at-mosphere
neovim
Vim-fork focused on extensibility and usability
nixpkgs
Nix Packages collection & NixOS
ogma
plc.directory mirror and scrapper in Rust + HTMX GUI
pds
Bluesky PDS (Personal Data Server) container image, compose file, and documentation
rsky
An AT Protocol implementation prioritizing community safety and self-governance, written in Rust.
scuttlego
A Go implementation of the Secure Scuttlebutt protocol.
ssb-chess
A library for building scuttlebutt chess clients with
styx
Static site generator in Nix expression language.