marvinborner/BLoC marvinborner/BLoC

  • Stars
    star
    1
  • Language
    C
  • License
    MIT License
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
marvinborner/BLoC
github

marvinborner

Reviews

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

Repository Details

โœจ File format and finite state entropy optimizer for programs encoded in binary lambda calculus

More Repositories

1

Melvix

๐Ÿ’ป A small operating system written from scratch (covid/school project)
C
69
star
2

bruijn

๐Ÿงฎ Programming language based on pure bruijn-indexed lambda calculus and strong call-by-need reduction using abstract machines
Haskell
20
star
3

FreedoWM

๐ŸŒŒ A unusable but free and open-source window manager for Linux and *BSD
Python
11
star
4

AdventOfCode

๐ŸŽ„ My Advent Of Code solutions (written in different languages)
C
8
star
5

HG2G-404

๐Ÿ‘พ 404 page in the style of the fantastic book series "Hitchhikers Guide To The Galaxy" by Douglas Adams
JavaScript
5
star
6

BinaryFunSFOS

An awesome binary game for Sailfish OS!
QML
4
star
7

zathura-note

Very basic notability .note support for zathura
C
4
star
8

JsonSearchEngine

Basic web crawler, usable for search engines or for a searching feature of a website
JavaScript
3
star
9

PiDay

Happy Pi Day! Let's celebrate this festival with some awesome beats - made from Pi!
HTML
3
star
10

AESvisualizer

๐Ÿ” An awesome AES visualizer (school project)
JavaScript
3
star
11

NetflixStats

๐Ÿ“ˆ Simple but awesome statistics for your Netflix account
JavaScript
3
star
12

LectureNotes

๐Ÿ“– Some of my lecture notes
TeX
2
star
13

AlpacaID

AlpacaID - the innovative QR-Code for Jugend hackt!
JavaScript
2
star
14

marvinborner.de

My awesome web representation
CSS
2
star
15

DeutschC

This was just a joke between some classmates and me :)
C
2
star
16

md2tex

Converts markdown files to Latex
Python
2
star
17

SubsidiaryBrowser

Find the dystopian companies with thousands of subsidiaries!
JavaScript
2
star
18

sharing-equality

Reference implementation of a shared equality query algorithm for shared ฮป-graphs
C
1
star
19

CTC-LSTM

Spoken word recognition using CTC LSTMs for SWR2 Tรผbingen
Python
1
star
20

publications

University/school essays/papers/etc.
TeX
1
star
21

SegelBoot

โ›ต x86 32-bit bootloader for my final presentation exam
JavaScript
1
star
22

calm

โšก Highly efficient call-by-need lambda calculus reducer using abstract machines
C
1
star
23

UnityFlappyBird

Flappy Bird game clone which I made to learn Unity
C#
1
star