• Stars
    star
    1
  • Language
    Nix
  • Created over 3 years ago
  • Updated over 3 years ago

Reviews

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

Repository Details

mt shell example

More Repositories

1

cut-the-crap

Automated video editing for streamers
Haskell
103
star
2

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.
Shell
50
star
3

distrowatch1graph1svg

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

awesome-project-name

only in name
Haskell
17
star
5

bulmex

reflex infused with bulma
Haskell
8
star
6

linux-config

a collection of .config files which work for certain machines
Emacs Lisp
8
star
7

haskell-template-project

Nix
6
star
8

5ol

a space 4x game, so say we all
Rust
4
star
9

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)
Shell
4
star
10

gaia

Source code of a chatbot that can have variation in conversation based upon jungian personality
Java
3
star
11

autotrading

my glorious attempt at auto trading
Python
3
star
12

llvm-party

LLVM
3
star
13

haskell-nightly

minimal example of running nightly builds
Haskell
2
star
14

plunder

Haskell
2
star
15

bitch-tettris

An increadibly infuriating tettris clone. Don't play this, its no fun.
Rust
2
star
16

agda-search

Search for identifiers in Agda codebases
Agda
2
star
17

email-pool

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

dbfield

A newtype for wrapping newtypes into beam schemas
Haskell
2
star
19

ctrlc

Haskell
1
star
20

I-hate-editing

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

future-broker-4head-contract

An exploration of smart contract where we try and make a future broker.
Nix
1
star
22

android-numberpicker

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

zip-codec

parralel zip reading/writing. Like god intended.
Haskell
1
star
24

intersperse

Haskell
1
star
25

hw-mas-practicals

Java
1
star
26

twitch

mono repo for public twitch projects
Haskell
1
star
27

elm-template

puts elm into small nix shell.
Nix
1
star
28

yesod-keter-nix

Haskell
1
star
29

servant-fiat-content

Fiat content types
Nix
1
star
30

elmgl-fire

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

heavy-log-shortcuts

Simle api for heavy logger
Haskell
1
star
32

temple-of-nix

A nix based twitch chatbot (so far as reasonbly possible)
Nix
1
star
33

haskell-ui-examples

Haskell
1
star
34

cobol

the future of programming is now
COBOL
1
star
35

jappie-lang

baby's first language
Haskell
1
star
36

joy-of-abstraction

Some formalizations of Eugenia Cheng's book joy of abstraction
Agda
1
star
37

rock-paper-siccors

Software specifically built to beat sour.
Clojure
1
star
38

useragents

A collection of user agents
Haskell
1
star
39

rentals

self hosted airbnb-like rental unit management
Haskell
1
star
40

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.
C++
1
star
41

network-uri-lenses

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