Discover @BartAdv Open Source projects

Bartosz (@BartAdv)

BartAdv

Stars
41
Global Rank 392,268 (Top 14 %)
Followers 16
Following 7
Registered over 13 years ago
Most used languages

Idris 36.4 %

Haskell
27.3 %

Erlang
9.1 %

C
9.1 %

Racket
9.1 %

Rust
9.1 %

elm-architecture-tutorial-reflex

Elm architecture tutorial reworked in Haskell' Reflex library

idris-yampa

Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types. WIP

idris-sodium

A simple Idris implementation of Sodium FRP library, following TypeScript port. WIP

hackslash

racket-serial

Racket serial port communication helpers, based on pyserial

racket-termios

Racket FFI to termios functions

idris-stache

Mustache parser implementation for Idris, basing on Haskell 'stache'

idris-ioref-c

Basic IORefs for Idris (with C backend)

west-tek

rpi-bare-metal

Bare metal RPi experiments with Rust

pipes-game

Experimenting with writing games using pipes-concurrency