LukeMiles49

Pinned Repositories

Buzz-Words
Our submission for a Hackathon with the theme 'Buzz Words'
Language:Python01
CAFV
Some code snippets related to Computer Aided Formal Verification
00
compsoc-bot
A bot created for fun at a university compsoc event
Language:JavaScript00
Deserialiser
Possibly faster than the others?
Language:C#00
higher-order-functions-rs
A small collection of traits for implementing higher order functions
Language:Rust10
init-trait-rs
A small helper trait to simplify the initialisation of 'indexable' data structures
Language:Rust00
JSONEditor
A JSON editor that uses templates for smart autocompletion and suggestions
Language:TypeScript00
lambda-calculus
A collection of code I've written while taking my university's Lambda Calculus course
Language:Rust00
noise-fn-rs
Some simple noise functions and traits to allow easy integration with your own
Language:Rust20
sankey-rs
A Rust library for generating sankey diagrams
Language:Rust21

LukeMiles49's Repositories

LukeMiles49/noise-fn-rs
Some simple noise functions and traits to allow easy integration with your own
Language:Rust20
LukeMiles49/sankey-rs
A Rust library for generating sankey diagrams
Language:Rust21
LukeMiles49/higher-order-functions-rs
A small collection of traits for implementing higher order functions
Language:Rust10
LukeMiles49/Buzz-Words
Our submission for a Hackathon with the theme 'Buzz Words'
Language:Python01
LukeMiles49/CAFV
Some code snippets related to Computer Aided Formal Verification
00
LukeMiles49/compsoc-bot
A bot created for fun at a university compsoc event
Language:JavaScript00
LukeMiles49/Deserialiser
Possibly faster than the others?
Language:C#00
LukeMiles49/init-trait-rs
A small helper trait to simplify the initialisation of 'indexable' data structures
Language:Rust00
LukeMiles49/JSONEditor
A JSON editor that uses templates for smart autocompletion and suggestions
Language:TypeScript00
LukeMiles49/lambda-calculus
A collection of code I've written while taking my university's Lambda Calculus course
Language:Rust00
LukeMiles49/list-files-macro-rs
A simple proc macro to generate a const list of filenames and optionally apply a macro to each
Language:Rust
LukeMiles49/money
Small project to generate Sankey diagrams representing finances
Language:Rust
LukeMiles49/Peer-Miner
A peer to peer test for my Mars Miner game
Language:Rust
LukeMiles49/pure-maths-rs
A library of traits and structs for using Rust for pure maths
LukeMiles49/renderer-rs
An experimental project to try and write various rendering methods myself
Language:Rust
LukeMiles49/RPlaceBot
A bot to coordinate r/place
Language:JavaScript
LukeMiles49/sankey-js
A TypeScript library for generating sankey diagrams
Language:TypeScript
LukeMiles49/SATSolver
An implementation of several SAT solving methods from my university Logic and Proof course to help with my understanding
LukeMiles49/search-rs
Various AI graph search algorithms
Language:Rust
LukeMiles49/server
A git repo to track changes to things I'm running on a raspberry pi server.
LukeMiles49/sized-matrix-rs
Sized matrices using const generics for better type checking and performance
Language:Rust
LukeMiles49/website
My website
LukeMiles49/website-old
My website.
Language:Rust
LukeMiles49/workspace
An organisational repo for a group of interdependent projects of mine
LukeMiles49/WorldSaver
A library for Everybody Edits bots to help simplify world saving
Language:C#