Ico Doornekamp

icon indicating an email [email protected]

Results 18 repositories owned by Ico Doornekamp

nimz3

25
Stars
3
Forks
Watchers

Nim binding for the Z3 theorem prover

verified publisher icon zevv

nmqtt

47
Stars
7
Forks
Watchers

Native Nim MQTT client library

verified publisher icon zevv

termtekst

18
Stars
7
Forks
Watchers

NOS teletekst client for linux console

verified publisher icon zevv

with

80
Stars
6
Forks
Watchers

with macro for Nim

verified publisher icon zevv

worp

89
Stars
4
Forks
Watchers

Live scriptable sound/music/DSP engine

verified publisher icon zevv

xpeg

15
Stars
1
Forks
Watchers

Experimental PEG library for Elixir

verified publisher icon zevv

actors

28
Stars
0
Forks
Watchers

verified publisher icon zevv

memgraph

23
Stars
0
Forks
Watchers

verified publisher icon zevv