Lars Brünjes (brunjlar)

brunjlar

Geek Repo

Company:Input Output Hong Kong

Location:Regensburg (Germany)

Github PK Tool:Github PK Tool

Lars Brünjes's starred repositories

Apollo-11

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

Language:AssemblyLicense:NOASSERTIONStargazers:56293Issues:1315Issues:377

White

DEPRECATED - no longer actively maintained

Language:C#License:NOASSERTIONStargazers:1013Issues:150Issues:497

pulp

A build tool for PureScript projects

Language:PureScriptLicense:LGPL-3.0Stargazers:444Issues:14Issues:258

purescript-signal

Elm style FRP library for PureScript

Language:PureScriptLicense:Apache-2.0Stargazers:258Issues:14Issues:29

quickcheck-state-machine

Test monadic programs using state machine based models

Language:HaskellLicense:NOASSERTIONStargazers:201Issues:22Issues:83

MiniKanrenT

An implementation of miniKanren in Haskell

Language:HaskellLicense:MITStargazers:76Issues:7Issues:3

plutus-pioneer-program

This is a fork of the IOHK Plutus Pioneer Program repository. I am adding READMEs to each of the lectures to transcribe the audio.

Language:HTMLStargazers:50Issues:4Issues:0

essential-cardano

The essential Cardano list

License:Apache-2.0Stargazers:5Issues:3Issues:0