shouya/neko shouya/neko

  • Stars
    star
    1
  • Language
    Racket
  • License
    MIT License
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
shouya/neko
github

shouya

Reviews

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

Repository Details

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

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

thinking-dumps

This repo keeps track of my codes, answers and thinkings when exploring books.
Jupyter Notebook
30
star
4

ancilla.el

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

parenbot-ex

parenbot revived
Elixir
15
star
6

telegram-bot

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

parenbot

Superceded by shouya/parenbot-ex
Haskell
9
star
8

sage

Yet another lambda calculus interpreter
Ruby
8
star
9

loli

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

svm

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

revo

an R5RS Scheme Interpreter
Ruby
5
star
12

anki-helper

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

ckini

A miniKanren implementation in Elixir
Elixir
5
star
14

ecto-tx

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

natural-time

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

ip-over-http

Forward IP packets to a HTTP proxy
C
4
star
17

cant_cant_cant

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

projz

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

netcalc

Partition IP address space
Rust
3
star
20

lojban-anki

Generate an Anki deck for Lojban gismu
Elixir
2
star
21

youtube-audio-feed

Convert a YouTube channel into a Podcast
Rust
2
star
22

natural-time-zh

parsing time in natural chinese speech
Ruby
2
star
23

ai-librarian

Ask questions about your books
Python
2
star
24

emacs.d

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

fondbot

the unending fondness
Rust
2
star
26

cps

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

revo-old

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

hostgenerator

Host File Generator
Perl
1
star
29

sreg

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

ray

Let's play with ray tracing
Rust
1
star
31

poi

Webhook β†’ Script
Haskell
1
star
32

haskell-99

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

docker-duplicacy

automated backup of docker services with duplicacy
Shell
1
star
34

dotfiles

My shared configuration files
Emacs Lisp
1
star
35

fondness-bot

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

bar

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

grooveshark-download

Download songs in a playlist from grooveshark in mp3 format.
Ruby
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