io12/discord-bedtime io12/discord-bedtime

  • Stars
    star
    2
  • Language
    Rust
  • License
    MIT License
  • Created over 5 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
io12/discord-bedtime
github

io12

Reviews

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

Repository Details

A Discord bot reminding you to sleep

More Repositories

1

pwninit

pwninit - automate starting binary exploit challenges
Rust
762
star
2

org-fragtog

Automatically toggle Org mode LaTeX fragment previews as the cursor enters and exits them
Emacs Lisp
369
star
3

good-scroll.el

Attempt at good pixel-based smooth scrolling in Emacs
Emacs Lisp
191
star
4

BootMine

Bootable minesweeper game in a 512-byte boot sector
Assembly
162
star
5

godot-portal-demo

Experimenting with portals in Godot Engine
GDScript
79
star
6

WineBox86.apk

x86 Wine on ARM Android with Box86 (very much WIP)
Java
66
star
7

unf

UNixize Filename -- replace annoying anti-unix characters in filenames
Rust
57
star
8

xkcd-unreachable-rs

A Rust macro xkcd_unreachable!() inspired by https://xkcd.com/2200/
Rust
41
star
9

yew-octicons

Easy support for Octicons in yew
Rust
18
star
10

nix-snapd

Snap package for Nix and NixOS
Nix
14
star
11

userland-execve-rust

An implementation of execve() in user space
Rust
10
star
12

Sandvox

The 3D voxel falling-sand game
Rust
9
star
13

hpmor-man-pages

Harry Potter and the Methods of Rationality, Unix Man Page Edition
Python
5
star
14

nix-flatpak

Declarative Flatpak management for the Nix package manager
Python
5
star
15

llvm-rustc-bug-repro

Rust
3
star
16

turboproof

A dependently-typed lisp and proof assistant [IN DEVELOPMENT]
Rust
3
star
17

quoftc

The Quoft Programming Language Compiler
C
3
star
18

MarioLANG

A minimal MarioLANG interpreter
C
3
star
19

deriv-calc

A derivative calculator and equation simplifier in Python.
Python
3
star
20

lambda-cove

https://lambdacove.netlify.com/
HTML
2
star
21

OS

A simple OS in C
C
2
star
22

lambda

Lambda calculus REPL written in C
C
2
star
23

nonsense-discord-bot

Rust
2
star
24

rust-spinners-rand

Get a random `Spinners` from the `spinners` crate
Rust
2
star
25

rust-musl-builder-lzma

rust-musl-builder with liblzma support
Dockerfile
2
star
26

web-dump

/tmp but for static html
HTML
2
star
27

Chip8

A chip8 emulator in C and ncurses
C
2
star
28

coq-proofs

My proofs for the Coq proof assistant
Coq
1
star
29

qemu-libretro

QEMU libretro core port
C
1
star
30

angr-bad-edition

A mediocre angr clone (WIP)
Rust
1
star
31

sandy

A fork of sandy with mods to make it more like vim
C
1
star
32

ffmpeg-fetch-small-samples

Script to fetch small files from https://samples.ffmpeg.org/
Python
1
star
33

raycaster

C
1
star
34

brainfsym

Rust library for symbolically executing brainf*** code
Rust
1
star
35

gcc-mips-spim

Buggy WIP toolchain to compile C to SPIM-compatible MIPS assembly
C
1
star
36

nixos-framework-led

NixOS module for changing the LED color on Framework laptops
Nix
1
star
37

nvim-plumb

Neovim plugin for integration with the Plan 9 plumber
Python
1
star
38

toy-git-rs

Toy git implementation in Rust
Rust
1
star