Harald Maida (haraldmaida)

haraldmaida

Geek Repo

Location:Austria

Github PK Tool:Github PK Tool


Organizations
innoave

Harald Maida's repositories

lamcal

A lambda calculus parser, evaluator and repl

Language:RustLicense:Apache-2.0Stargazers:9Issues:1Issues:0

ScalaTestFX

Write TestFX tests using ScalaTest specifications

Language:ScalaLicense:Apache-2.0Stargazers:4Issues:2Issues:2

AbacusSFX

A software Abacus implemented in Scala as ScalaFX application.

Language:CSSLicense:Apache-2.0Stargazers:0Issues:1Issues:0

advent-of-code

Solving Advent-of-Code Puzzles in Rust

Language:RustLicense:MITStargazers:0Issues:1Issues:0

advent-of-code-2017

Solving the Advent of Code 2017 puzzles in Rust

Language:RustLicense:MITStargazers:0Issues:1Issues:0

advent-of-code-2018

Solving Advent of Code puzzles of 2018 in Rust

Language:RustLicense:MITStargazers:0Issues:1Issues:0

advent-of-code-2020

Solving the Advent of Code puzzles of 2020 in Rust

Language:RustLicense:MITStargazers:0Issues:1Issues:0

assertor

Fluent assertion library for Rust with readable messages.

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

elm-bulma-parcel-starter

Template for new Elm + Bulma projects using Parcel

Language:ElmLicense:Apache-2.0Stargazers:0Issues:1Issues:0

fixed-map

A map implementation that relies on fixed-size storage derived by a procedural macro

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

ga_wasm

genetic algorithm travelling salesman problem implemented in rust and wasm

Language:RustStargazers:0Issues:0Issues:0

haraldmaida

Config files for my GitHub profile.

Stargazers:0Issues:1Issues:0

proptest

Hypothesis-like property testing for Rust

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