Robert Bendun (RobertBendun)

RobertBendun

Geek Repo

Company:Uniwersytet im. Adama Mickiewicza w Poznaniu

Location:Poznań, Poland

Home Page:https://bendun.cc

Github PK Tool:Github PK Tool

Robert Bendun's starred repositories

gtfs-structure

Read a GTFS file

Language:RustLicense:MITStargazers:56Issues:0Issues:0

tula

Turing Language

Language:RustLicense:MITStargazers:159Issues:0Issues:0

helm

Helm - a free polyphonic synth with lots of modulation

Language:C++License:GPL-3.0Stargazers:2348Issues:0Issues:0

teak

A small scripting language to replace Unix shell scripts.

Language:CLicense:MITStargazers:41Issues:0Issues:0

type_safe

Zero overhead utilities for preventing bugs at compile time

Language:C++License:MITStargazers:1500Issues:0Issues:0

spacer

CLI tool to insert spacers when command output stops

Language:RustLicense:MITStargazers:849Issues:0Issues:0

dwarbf

A Brainfuck interpreter embedded inside DWARF debug information

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

duckdb

DuckDB is an analytical in-process SQL database management system

Language:C++License:MITStargazers:21235Issues:0Issues:0

gruvbox

Retro groove color scheme for Vim

Language:Vim ScriptStargazers:13489Issues:0Issues:0

maud

:pencil: Compile-time HTML templates for Rust

Language:RustLicense:Apache-2.0Stargazers:2016Issues:0Issues:0

do

The simplest build tool on earth. An all-purpose build tool and a build file all in one. It's trying to be better than the usual home-grown Shell hell.

Language:ShellLicense:Apache-2.0Stargazers:31Issues:0Issues:0

LuxmedSniper

LUX MED appointments sniper

Language:PythonLicense:MITStargazers:57Issues:0Issues:0

shantell-sans

Shantell Sans, from Shantell Martin, is a marker-style font built for creative expression, typographic play, and animation.

Language:HTMLLicense:OFL-1.1Stargazers:392Issues:0Issues:0

Spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

Language:CLicense:NOASSERTIONStargazers:344Issues:0Issues:0

blc

Binary Lambda Calculus Virtual Machine

Language:AssemblyLicense:ISCStargazers:43Issues:0Issues:0

hermit

Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries

Language:CLicense:Apache-2.0Stargazers:187Issues:0Issues:0
Language:KotlinLicense:GPL-3.0Stargazers:1237Issues:0Issues:0

uiua

A stack-based array programming language

Language:RustLicense:MITStargazers:1485Issues:0Issues:0

htmx

</> htmx - high power tools for HTML

Language:JavaScriptLicense:NOASSERTIONStargazers:35774Issues:0Issues:0

htmx-template

HTMX extension enabling it to retrieve the contents of <template> elements rather than make an HTTP request

Language:JavaScriptLicense:MITStargazers:27Issues:0Issues:0

catala

Programming language for literate programming law specification

Language:OCamlLicense:Apache-2.0Stargazers:1951Issues:0Issues:0

midly

A feature-complete MIDI parser and writer focused on speed.

Language:RustLicense:UnlicenseStargazers:124Issues:0Issues:0
Language:RustLicense:NOASSERTIONStargazers:69Issues:0Issues:0

lua

A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. Please DO NOT send pull requests or any other stuff. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html

Language:CStargazers:8263Issues:0Issues:0

Web-Content-Integrity

Web Content Integrity: Tamper-proof websites beyond HTTPS

Language:HTMLStargazers:1Issues:0Issues:0

p5.js

p5.js is a client-side JS platform that empowers artists, designers, students, and anyone to learn to code and express themselves creatively on the web. It is based on the core principles of Processing. http://twitter.com/p5xjs —

Language:JavaScriptLicense:LGPL-2.1Stargazers:21196Issues:0Issues:0

xdg-ninja

A shell script which checks your $HOME for unwanted files and directories.

Language:HaskellLicense:MITStargazers:2347Issues:0Issues:0

OrigamiSimulator

Realtime WebGL origami simulator

Language:JavaScriptLicense:MITStargazers:1071Issues:0Issues:0

Catch2

A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)

Language:C++License:BSL-1.0Stargazers:18319Issues:0Issues:0

venn7

A musical interface based on symmetric 7-set Venn diagrams

Language:PythonLicense:MITStargazers:35Issues:0Issues:0