marvinborner/bruijn marvinborner/bruijn

  • Stars
    star
    20
  • Rank 1,121,974 (Top 23 %)
  • Language
    Haskell
  • License
    MIT License
  • Created over 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
marvinborner/bruijn
github

marvinborner

Reviews

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

Repository Details

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

More Repositories

1

Melvix

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

FreedoWM

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

AdventOfCode

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

HG2G-404

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

BinaryFunSFOS

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

zathura-note

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

JsonSearchEngine

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

PiDay

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

AESvisualizer

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

NetflixStats

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

LectureNotes

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

AlpacaID

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

marvinborner.de

My awesome web representation
CSS
2
star
14

DeutschC

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

md2tex

Converts markdown files to Latex
Python
2
star
16

SubsidiaryBrowser

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

sharing-equality

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

CTC-LSTM

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

publications

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

SegelBoot

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

calm

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

UnityFlappyBird

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

BLoC

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