Name: Jay Pratt
Type: User
Company: @skfltech
Bio: Software engineer with an interest in programming language design and formal methods.
I love my dog Peanut, Rust, VS Code, Sushi and, most of all, my partner.
Location: Sydney
Blog: https://cypher1.github.io
Jay Pratt's Projects
vim script to open related files
A small and easy to use neural net implementation for C++. Just download and #include!
Helper types to omit debug info for select values
Rappel is fairly minimal Read Execute Print Loop (REPL) plugin for NeoVim
A plugin for Neovim that simplifies keybindings for moving between splits and windows
Meaningful control of data in distributed systems.
A delightful community-driven (with 1,000+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
py3status is an extensible i3status wrapper written in python
Open-source keyboard firmware for Atmel AVR and Arm USB families
Empowering everyone to build reliable and efficient software.
The compilation target that functional programmers always wanted.
Array of Struct to Struct of Array helpers in Rust
rust utility for capturing source file location at compile time
Reproduction of an issue with specs
Demo for ECS talk
An experimental programming language for ergonomic software verification
Exploring type systems as a library
Chrome extension to draw vector icons in chrome source code repository.
yargs the modern, pirate-themed successor to optimist.
WASM builds of the Z3 SMT solver