Block or Report
Block or report louisswarren
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
-
louisswarren.github.io Public
Forked from barryclark/jekyll-nowMy personal website
-
promacro Public
Sending key presses using a gamepad isn't that hard
C GNU General Public License v3.0 UpdatedFeb 17, 2024 -
jsonexplorer Public
Explore json from the terminal
Python GNU General Public License v3.0 UpdatedFeb 4, 2024 -
archer Public
Implicational fragment of minimal logic in Agda
Agda GNU General Public License v3.0 UpdatedJan 26, 2024 -
-
dyad Public
Useful scripts to go in ~/bin (but they aren't binary)
Shell MIT License UpdatedDec 14, 2023 -
-
-
edmv Public
Move (rename) files using your text editor
Python GNU General Public License v3.0 UpdatedJun 23, 2023 -
-
mandlebrot Public
Because every programmer is going to implement it at some point
C UpdatedJan 1, 2023 -
Rcpp Public
Forked from RcppCore/RcppSeamless R and C++ Integration
C++ GNU General Public License v2.0 UpdatedMar 30, 2022 -
-
mindcaress Public
Compiles a slightly less unusable language
Python MIT License UpdatedJul 13, 2020 -
foundations Public
Foundations of a lot of my agda code
Agda GNU General Public License v3.0 UpdatedOct 18, 2019 -
ensemble-old Public archive
Finite sets in Agda
-
hieretikz Public
Generate a tikz diagram of a hierarchy, for use in reverse mathematics
-
-
noogenesis Public
A proof-assistant-using neural network formed using a genetic algorithm
Python GNU General Public License v3.0 UpdatedNov 21, 2018 -
agda-vim Public
Forked from derekelkins/agda-vimAgda interaction in vim
Vim Script BSD 2-Clause "Simplified" License UpdatedNov 9, 2018 -
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedJun 13, 2018 -
-
drivesync Public
Forked from MStadlmeier/drivesyncGoogle Drive synchronization for Linux
Ruby MIT License UpdatedFeb 10, 2018 -
shpy Public
Library to provide shell utils to python, for use in shell scripts
Python MIT License UpdatedDec 19, 2017 -
-
-
-
jantjie Public
JSON Api Network Translator for Just Interacting Easily
Python GNU General Public License v3.0 UpdatedAug 9, 2017