Skip to content
View louisswarren's full-sized avatar
9 followers · 7 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback
Block or Report

Block or report louisswarren

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • config Public

    My .config directory

    Shell Updated Apr 12, 2024

  • gnaws Public

    GNAWS' not a web server

    HTML GNU General Public License v3.0 Updated Mar 22, 2024

  • louisswarren.github.io Public

    Forked from barryclark/jekyll-now

    My personal website

    SCSS 1 MIT License Updated Feb 23, 2024

  • promacro Public

    Sending key presses using a gamepad isn't that hard

    C GNU General Public License v3.0 Updated Feb 17, 2024

  • jsonexplorer Public

    Explore json from the terminal

    Python GNU General Public License v3.0 Updated Feb 4, 2024

  • archer Public

    Implicational fragment of minimal logic in Agda

    Agda GNU General Public License v3.0 Updated Jan 26, 2024

  • tome Public

    Natural deduction in Agda

    Agda 7 GNU General Public License v3.0 Updated Jan 26, 2024

  • dyad Public

    Useful scripts to go in ~/bin (but they aren't binary)

    Shell MIT License Updated Dec 14, 2023

  • ni Public

    Python 1 1 GNU General Public License v3.0 Updated Jul 30, 2023

  • saylouis Public

    Send me encrypted messages

    C Updated Jul 7, 2023

  • edmv Public

    Move (rename) files using your text editor

    Python GNU General Public License v3.0 Updated Jun 23, 2023

  • raytracer Public

    C MIT License Updated Jun 13, 2023

  • mandlebrot Public

    Because every programmer is going to implement it at some point

    C Updated Jan 1, 2023

  • Rcpp Public

    Forked from RcppCore/Rcpp

    Seamless R and C++ Integration

    C++ GNU General Public License v2.0 Updated Mar 30, 2022

  • dotfiles Public

    M4 The Unlicense Updated Aug 30, 2021

  • mindcaress Public

    Compiles a slightly less unusable language

    Python MIT License Updated Jul 13, 2020

  • foundations Public

    Foundations of a lot of my agda code

    Agda GNU General Public License v3.0 Updated Oct 18, 2019

  • ensemble-old Public archive

    Finite sets in Agda

    Agda 1 GNU General Public License v3.0 Updated Jul 12, 2019

  • hieretikz Public

    Generate a tikz diagram of a hierarchy, for use in reverse mathematics

    Python 2 MIT License Updated Jun 30, 2019

  • automata Public

    Automata in Agda

    Agda 1 GNU General Public License v3.0 Updated Feb 7, 2019

  • noogenesis Public

    A proof-assistant-using neural network formed using a genetic algorithm

    Python GNU General Public License v3.0 Updated Nov 21, 2018

  • agda-vim Public

    Forked from derekelkins/agda-vim

    Agda interaction in vim

    Vim Script BSD 2-Clause "Simplified" License Updated Nov 9, 2018

  • agda Public

    Forked from agda/agda

    Agda is a dependently typed programming language / interactive theorem prover.

    Haskell Other Updated Jun 13, 2018

  • reals Public

    Real numbers in agda

    Agda 1 Updated Mar 5, 2018

  • drivesync Public

    Forked from MStadlmeier/drivesync

    Google Drive synchronization for Linux

    Ruby MIT License Updated Feb 10, 2018

  • shpy Public

    Library to provide shell utils to python, for use in shell scripts

    Python MIT License Updated Dec 19, 2017

  • brain-lattice Public

    Neural network

    C GNU General Public License v3.0 Updated Nov 15, 2017

  • kleene Public

    Python GNU General Public License v3.0 Updated Oct 27, 2017

  • eden Public

    Natural deduction tool

    Python GNU General Public License v3.0 Updated Oct 22, 2017

  • jantjie Public

    JSON Api Network Translator for Just Interacting Easily

    Python GNU General Public License v3.0 Updated Aug 9, 2017