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
A tiny game (hopefully)
Arcs
This is my implementation of a basic Neural Network interface to show how the backpropagation algorithm works and how the structure of a network can influence the learning backpropagation facilitates.
Shell snippets to auth and send remote control commands to Sony Bravia TVs
Rust on mobile made easy!
My config files
A Connect Four Game and Interface
Avoid memcpy calls when working with standard containers
Interactive Coq Proofs in Vim
Blog
A lightweight Datalog engine in Rust
A demo for Rust features: TCP, Threading & Daemonize
A simple Haskell API for defining generic games and writing AIs for them
Rust bindings for libgccjit.
A set of aliases and functions for quick Git work
An RPG written in Bash
Official repository for community contributed blocklets
A simple compiler written in Rust targetting Wasm
Trial run of using inkwell (Rust bindings for LLVM's C++ API)
A group of simple Machine Learning Algorithms in Haskell
An organisational tool for everyone
A Python script to control Linak standing desks.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.