lexbailey Goto Github PK
Name: Lex Bailey
Type: User
Name: Lex Bailey
Type: User
A simple Isabelle session introducing syntax for abstract programs
Raspberry pi library for the Adafruit four char alphanumeric display with I2C backpack
Modal service for AngularJS - supports creating popups and modals via a service.
An arduino-compatible based random key presser.
My AoC solutions 2018, probably mostly python3
Learning isabelle by doing AOC 2020
My solutions for AoC2021, which I used to learn how to write Rust
My solutions to AoC2022, in Z80 Asm, for the 48k ZX Spectrum
Automatic tool for extracting each layer of an inkscape SVG as a DXF file
Awful.
Implementation of Banks' confidentiality theory in Isabelle/UTP
ZX Spectrum basic to tap file encoder
Navigation software for "Wayfinder belt" project
Takes binary files, puts them in .tap files, for loading into zx spectrum emulators, or to convert to audio to play in a real spectrum
A truly horrible scripting language for golfing
Quick test of a push parser in bison
Blender Add-on: Provides convenient operations for synchronising an objects 'Disable in Viewports' curve with its 'Disable in Renders' curve for convenient fast previews
Hide messages from users and bots, make Slack a Happy Place Again! :grin:
BNF Converter
🥺
Overlapping box alignment demo
Pebble watch face to go with the busminder app
an app to get "Your Next Bus" information and push it to a pebble watch.
Raspberry pi live bus time display
C88 is Homebrew CPU that has a ram that is only 8x8 Bits in size. It'll fit on a papilio one 500k which has enough pins for all the switches you need too.
A C88 emulator that runs on an espruino
Javascript Emulation of C88
A DBT for the arduino zero to run C88 programs as native code.
A quick test version of the software for the C88 gpio box
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.