gebner/m17n-lean gebner/m17n-lean

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    Python
  • Created over 6 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gebner/m17n-lean
github

gebner

Reviews

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

Repository Details

System-wide Lean input method

More Repositories

1

hott3

HoTT in Lean 3
Lean
74
star
2

trepplein

Lean type-checker written in Scala.
Scala
24
star
3

dali-usb

Firmware for a DALI-USB adapter using an ATtiny45.
C
9
star
4

lean4-old

Lean4 work in progress repo
Lean
8
star
5

compiz-cms

Color management in compiz.
C++
5
star
6

hledger-diff

Compares the transactions in two ledger files.
Haskell
5
star
7

oleanparser

Lean
5
star
8

lean4-mathlib-import

Lean
4
star
9

dali-usb-host

Host utilities for my DALI-USB adapter
Python
3
star
10

super2

Lean
3
star
11

avm2017_tutorial

Materials for the Lean tutorial at the Alpine Verification Meeting 2017
Lean
2
star
12

inundation

Stress test for Lake.
Lean
1
star
13

pass2keepass

Simple tool to convert passwords from pass into keepassx (v1) format.
Python
1
star
14

espanso-lean

Espanso configuration for Lean abbreviations
Python
1
star
15

num-ws11-bsp2

MATLAB
1
star
16

autograder

Lean
1
star
17

notmuch2gmvault

Small tool to convert a notmuch database to a gmvault backup.
JavaScript
1
star
18

num-ws11-bsp1

MATLAB
1
star
19

numint

Final project for the numerics course in the fall semester 2011.
MATLAB
1
star