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