jappeace/agda-search

Stars
2
Language Agda
License
BSD 3-Clause "New...
Created over 2 years ago
Updated over 2 years ago

jappeace/agda-search

jappeace

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Search for identifiers in Agda codebases

cut-the-crap

Automated video editing for streamers

brightnessctl

simple shell script that allows controll of brightness by executing them. This allowed only one tee write path instead of all and thus fixing a potential security risc.

distrowatch1graph1svg

trying to automate the creation of this image https://en.wikipedia.org/wiki/Linux_distribution#/media/File:Linux_Distribution_Timeline_with_Android.svg

awesome-project-name

bulmex

reflex infused with bulma

linux-config

a collection of .config files which work for certain machines

haskell-template-project

5ol

a space 4x game, so say we all

bash-steam-launcher

a simple script that gives the x session to a steam user, (only usefull if you installed steam under a different account)

gaia

Source code of a chatbot that can have variation in conversation based upon jungian personality

autotrading

my glorious attempt at auto trading

llvm-party

haskell-nightly

minimal example of running nightly builds

plunder

bitch-tettris

An increadibly infuriating tettris clone. Don't play this, its no fun.

email-pool

A small project for doing an smtp email pool (and cli stuff for opening it)

dbfield

A newtype for wrapping newtypes into beam schemas

ctrlc

I-hate-editing

a small script to automatically load assets on the blender sequence editor based on the length of the audio

future-broker-4head-contract

An exploration of smart contract where we try and make a future broker.

android-numberpicker

a rip of https://github.com/SimonVT/android-numberpicker to build with gradle (and create an AAR).

zip-codec

parralel zip reading/writing. Like god intended.

mt-shell

mt shell example

intersperse

hw-mas-practicals

twitch

mono repo for public twitch projects

elm-template

puts elm into small nix shell.

yesod-keter-nix

servant-fiat-content

Fiat content types

elmgl-fire

Displays a fire particle effect. An elm port of this project: https://github.com/ethanhjennings/webgl-fire-particles

heavy-log-shortcuts

Simle api for heavy logger

temple-of-nix

A nix based twitch chatbot (so far as reasonbly possible)

haskell-ui-examples

cobol

the future of programming is now

jappie-lang

baby's first language

joy-of-abstraction

Some formalizations of Eugenia Cheng's book joy of abstraction

rock-paper-siccors

Software specifically built to beat sour.

useragents

A collection of user agents

rentals

self hosted airbnb-like rental unit management

hw-isgp-kbs

To finish our course in game programming, we had to do a Typical Professional Situation, but we could not use any libraries besides the standard.

network-uri-lenses

lenses for http://hackage.haskell.org/package/network-uri