Giters
Miëtek Bak (mietek)

mietek

Geek Repo

283

followers

0

following

2k

stars

Home Page:https://mietek.io

Github PK Tool:Github PK Tool

Organizations
dpndnt

Miëtek Bak's repositories

sf

Mirror of Software Foundations in PDF

Language:HTMLStargazers:293Issues:10Issues:5

total-fp

Total functional programming (ESFP) literature

Stargazers:186Issues:12Issues:0

charity-lang

Charity language interpreters and literature

Language:CStargazers:114Issues:12Issues:2

totally-fp

Totally functional programming literature

Stargazers:59Issues:3Issues:1

epigram2

Mirror of Epigram 2, by Conor McBride, et al.

Language:HaskellLicense:MITStargazers:46Issues:6Issues:116

research

Work in progress

Language:AgdaLicense:CC-BY-SA-4.0Stargazers:31Issues:7Issues:1

et-lang

ET (IPL) language interpreters and literature

Language:Standard MLStargazers:26Issues:3Issues:1

research-2016-05

Moved to https://research.mietek.io

Language:AgdaLicense:CC-BY-SA-4.0Stargazers:5Issues:0Issues:0

research-2016-04

Moved to https://research.mietek.io

Language:AgdaStargazers:3Issues:0Issues:0

zug

Keyboard-driven tiling window manager

Language:Objective-CLicense:BSD-3-ClauseStargazers:3Issues:5Issues:7

icfp-contest-2020

ICFP Programming Contest 2020 entry

Language:JavaScriptLicense:MITStargazers:2Issues:4Issues:0

tis-100

My solutions to TIS-100 problems

Stargazers:2Issues:2Issues:0

grothendieck-cern

Alexander Grothendieck's 1972 talk at CERN, on scientific research

License:CC0-1.0Stargazers:1Issues:0Issues:0

icfp-contest-2008

ICFP Programming Contest 2008 entry

Language:ErlangLicense:BSD-3-ClauseStargazers:1Issues:3Issues:0

mietek.github.io

Language:HTMLStargazers:1Issues:3Issues:0

commercialhaskell

Bug fix fork

Stargazers:0Issues:2Issues:0

fettnapf3000

Bug fix fork

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

haxo-hw

Haxophone, an electronic musical instrument that resembles a saxophone

Language:XSLTLicense:MITStargazers:0Issues:2Issues:0

homebrew-core

Maintenance fork

Language:RubyLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

ImplicitCAD

A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...

Language:HaskellLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

keller-2008

Mirror of Keller 2008

Language:AgdaLicense:GPL-3.0Stargazers:0Issues:2Issues:0

mame

MAME

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

netatalk

Mirror with all tags recovered from SourceForge

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0

oleg

Language:Standard MLStargazers:0Issues:2Issues:0

openscad

OpenSCAD scripts

Language:OpenSCADStargazers:0Issues:1Issues:0

qemu

TODO

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

research-2016-06

Moved to https://research.mietek.io

Language:AgdaLicense:CC-BY-SA-4.0Stargazers:0Issues:0Issues:0

research-2017-06

Moved to https://research.mietek.io

Language:AgdaLicense:CC-BY-SA-4.0Stargazers:0Issues:2Issues:0

theoremprover-museum.github.io

Bug fix fork

Language:HTMLLicense:GPL-3.0Stargazers:0Issues:1Issues:0

tmk_keyboard

Keyboard firmwares for Atmel AVR and Cortex-M

Language:CStargazers:0Issues:1Issues:0