zac-garby/learning-lean zac-garby/learning-lean

  • Stars
    star
    1
  • Language Lean
  • Created about 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
zac-garby/learning-lean
github

zac-garby

Reviews

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

Repository Details

More Repositories

1

iTunes-Graphs

A macOS app to visualise your iTunes library as graphs.
Swift
50
star
2

solar-system

A strategy/simulation game.
C++
31
star
3

radon

A programming language.
Go
22
star
4

music-stats

An iOS app to visualise your Apple Music library.
Swift
7
star
5

pluto-lang

A language with a strange function syntax.
Python
6
star
6

language

A little language I've made to demonstrate some unusual language features/ideas.
Go
5
star
7

wget-gui

A cocoa app, written in Swift, which is almost like a GUI wrapper around wget.
Swift
5
star
8

term-rpg

A terminal-based mmorpg.
Go
4
star
9

argtyper

A JavaScript argument-type-checker, without the need for preprocessing or compiling.
JavaScript
3
star
10

electronic-sim

A web-based redstone-like electronic simulation.
JavaScript
3
star
11

web-graph

Generates a graph showing the links between websites.
Go
2
star
12

reddis

A Reddit clone.
Go
2
star
13

compiler

A compiler, in C.
C
2
star
14

siphon

A database
Go
2
star
15

markov

A higher-order Markov chain, using a tree to encode the probability matrix.
Go
2
star
16

canvaslib

A JavaScript library, which simplifies drawing to a canvas, as well as handling input events.
JavaScript
1
star
17

pieces-of-seven

A multiplayer pirate game written with SDL.
Go
1
star
18

yamlAI

Allows you to write chatbots in YAML.
Ruby
1
star
19

charge

Electric charge simulator.
Go
1
star
20

brokencameraphone

Python
1
star
21

pylanets

A gravitational field simulator in Python
Python
1
star
22

War-Game

A strategy war-game made with Love2D
Lua
1
star
23

Tab-Viewer

A macOS app to view guitar tabs/chords.
Swift
1
star
24

roguelike

A game
Go
1
star
25

nthterm

A function to find the nth term of a sequence.
JavaScript
1
star
26

social-network

A basic social network written in Go.
Go
1
star
27

booleang

A structured boolean-logic language.
Go
1
star
28

Wordsearch

Search for every word in the English language which matches a certain regex.
JavaScript
1
star
29

chat-app

A fairly simple chat web-app, with support for chat rooms and nicknames.
JavaScript
1
star
30

Racing

Genetic algorithm to teach cars to chase objects
JavaScript
1
star