anqurvanillapy/lyzh anqurvanillapy/lyzh

  • Stars
    star
    24
  • Rank 981,663 (Top 20 %)
  • Language
    Python
  • License
    MIT License
  • Created 8 months ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
anqurvanillapy/lyzh
github

anqurvanillapy

Reviews

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

Repository Details

A well-documented minimal dependently-typed language for my friend Lyzh

More Repositories

1

libscoa

Erlang-like lightweight C++ actor framework
C++
8
star
2

rowsweekly

RowsWeekly for RowsMeetup
6
star
3

gmhp

An amateur slideshow generator
Python
6
star
4

slides

Some of my archived slides
HTML
5
star
5

purus

A minimal functional language based on PTS∞
OCaml
4
star
6

cppl

C/C++ Lab
C++
4
star
7

monadity

TypeScript
3
star
8

s0ngbrew

Hacks for fun - Taiko no Tatsujin: WiiU Version
Python
3
star
9

pipesicle

Posting Protocol: Opinionated abstract class for creating homemade SSG
Python
3
star
10

prict

Minimal persistent key-value store backed by Raft algorithm
C++
2
star
11

legacy-blog

Legacy blog
CSS
2
star
12

acoro

setjmp/longjmp-based asymmetric coroutine library
C++
1
star
13

ooz

A functional toy language
C
1
star
14

tim

TTY-based instant messaging app
C
1
star
15

cdep

A C/C++ package manager that just works
Go
1
star
16

fpl

my fp lab
Agda
1
star
17

diypy3

Data-structure Interface Yourself using Python 3
C
1
star
18

starnote

Add your custom tags locally to your GitHub starred repositories
Python
1
star
19

workery

Simple server with worker pools
Go
1
star
20

servini

minimal c web server: initial attempt
C
1
star
21

yungboy

Simple Python library and set of utilities for GBA game development
Python
1
star