louisswarren Goto Github PK
Name: Louis Warren
Type: User
Bio: Analyst, programmer, logician.
Location: New Zealand
Blog: lsw.nz
Louis Warren's Projects
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-vim
Agda interaction in vim
archer
Implicational fragment of minimal logic in Agda
automata
Automata in Agda
brain-lattice
Neural network
config
My .config directory
dotfiles
drivesync
Google Drive synchronization for Linux
dyad
Useful scripts to go in ~/bin (but they aren't binary)
eden
Natural deduction tool
edmv
Move (rename) files using your text editor
ensemble-old
Finite sets in Agda
epnamer
Batch rename television episode video files
fhtex
foundations
Foundations of a lot of my agda code
glcube
Rubik's cube in opengl
gnaws
GNAWS' not a web server
grail
hieretikz
Generate a tikz diagram of a hierarchy, for use in reverse mathematics
jantjie
JSON Api Network Translator for Just Interacting Easily
jsonexplorer
Explore json from the terminal
kleene
latex-template
Latex template and makefile
louisswarren.github.io
My personal website
mandlebrot
Because every programmer is going to implement it at some point
mindcaress
Compiles a slightly less unusable language
ni
noogenesis
A proof-assistant-using neural network formed using a genetic algorithm
promacro
Sending key presses using a gamepad isn't that hard
pyaccumulate
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.