shouya/thinking-dumps shouya/thinking-dumps

  • Stars
    star
    30
  • Rank 839,658 (Top 17 %)
  • Language
    Jupyter Notebook
  • License
    MIT License
  • Created over 10 years ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
shouya/thinking-dumps
github

shouya

Reviews

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

Repository Details

This repo keeps track of my codes, answers and thinkings when exploring books.

More Repositories

1

rss-funnel

RSS multi-tool
Rust
101
star
2

malakal

a day-planner/calendar app based on egui
Rust
34
star
3

ancilla.el

AI assisted code generation/refactory in Emacs
Emacs Lisp
16
star
4

parenbot-ex

parenbot revived
Elixir
15
star
5

telegram-bot

Yet another client for Telegram's Bot API
Ruby
14
star
6

parenbot

Superceded by shouya/parenbot-ex
Haskell
9
star
7

sage

Yet another lambda calculus interpreter
Ruby
8
star
8

loli

A toy lambda calculus language featuring lazy evaluation like Haskell
Racket
8
star
9

svm

A tiny virtual machine with extensible instruction set written in pure C
C
7
star
10

revo

an R5RS Scheme Interpreter
Ruby
5
star
11

anki-helper

A bunch of scripts to generate an import file for anki flash card
Ruby
5
star
12

ckini

A miniKanren implementation in Elixir
Elixir
5
star
13

ecto-tx

Composable transaction as an alternative to Ecto.Multi
Elixir
4
star
14

natural-time

A dirty natural language datetime parser in Elixir
Elixir
4
star
15

ip-over-http

Forward IP packets to a HTTP proxy
C
4
star
16

cant_cant_cant

Role-based authentication on controller actions, centrally configured
Ruby
4
star
17

projz

Project Z: An emulation of intel 8080 CPU in Haskell
Haskell
3
star
18

netcalc

Partition IP address space
Rust
3
star
19

lojban-anki

Generate an Anki deck for Lojban gismu
Elixir
2
star
20

youtube-audio-feed

Convert a YouTube channel into a Podcast
Rust
2
star
21

natural-time-zh

parsing time in natural chinese speech
Ruby
2
star
22

ai-librarian

Ask questions about your books
Python
2
star
23

emacs.d

le jai stika be la .imaks.
Emacs Lisp
2
star
24

fondbot

the unending fondness
Rust
2
star
25

cps

A trial on implementing continuation passing style transform: https://en.wikipedia.org/wiki/Continuation-passing_style
Haskell
2
star
26

revo-old

This repo was deprecated. see: https://github.com/shouya/revo
Ruby
1
star
27

hostgenerator

Host File Generator
Perl
1
star
28

sreg

Sreg is a Regular Expression engine implemented in Ruby. (see branch dev)
Ruby
1
star
29

ray

Let's play with ray tracing
Rust
1
star
30

poi

Webhook β†’ Script
Haskell
1
star
31

haskell-99

My Solutions for http://www.haskell.org/haskellwiki/99_questions/
Haskell
1
star
32

docker-duplicacy

automated backup of docker services with duplicacy
Shell
1
star
33

dotfiles

My shared configuration files
Emacs Lisp
1
star
34

fondness-bot

a telegram bot to save all message logs and process queries
Ruby
1
star
35

bar

A tetris game framework base on C/SDL
C
1
star
36

grooveshark-download

Download songs in a playlist from grooveshark in mp3 format.
Ruby
1
star
37

neko

An adorable typed calculus langauge for STLC, System F, and System F-Ο‰! (stalled)
Racket
1
star
38

blockgame

a tetris game base on SDL/C
C
1
star
39

whoever

Whoever == No matter who.
Ruby
1
star
40

dynamic_binding_demonstration

A simple implement of signal model like GTK+.
C
1
star
41

3body

An N-body problem visualization program (Chinese doc)
C++
1
star
42

gernytci

Lojban toolkit
Rust
1
star
43

n.zsh

A zsh script for quickly managing notes
Shell
1
star
44

ruby-cscript

A pure ruby implemented CScript programming language.
Ruby
1
star
45

clisp

lisp intepreter written in C
C
1
star