Giters
Asbjørn Gaarde (8BitMate)

8BitMate

Geek Repo

11

followers

4

following

10

stars

Location:Oslo, Norway

Github PK Tool:Github PK Tool

Organizations
applitude

Asbjørn Gaarde's repositories

reflect

Compile-time reflection API for developing robust procedural macros (proof of concept)

Language:RustLicense:Apache-2.0Stargazers:130Issues:10Issues:7

Connection-Prover

A connection based first order logic prover written in Haskell.

Language:HaskellLicense:BSD-3-ClauseStargazers:3Issues:2Issues:0

happy-numbers

Finds all happy numbers up to n

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

happy-numbers-in-c

An efficient program that finds all happy numbers up to n

Language:CStargazers:0Issues:2Issues:0

mega-adder

A needlessly complicated way of adding two numbers

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

proc-macro-workshop

Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]

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

Sudoku-Solver

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

syn

Parser for Rust source code

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