martijnbastiaan

Martijn Bastiaan's starred repositories

f4pga

FOSS Flow For FPGA

Language:PythonApache-2.034100

nixpkgs

Nix Packages collection & NixOS

Language:NixMIT1652300

open-logic

Open Logic VHDL Standard Library

Language:VHDLNOASSERTION7800

docopt.hs

A command-line interface description language and parser that will make you smile

Language:HaskellMIT11900

rexi

Terminal UI for Regex Testing

Language:PythonMIT24900

embassy

Modern embedded framework, using Rust and async.

Language:RustApache-2.0484700

scrcpy

Display and control your Android device

Language:CApache-2.010557600

clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

Language:HaskellNOASSERTION139600

doctest-parallel

Test interactive Haskell examples

Language:HaskellMIT2600

cleff

Fast and concise extensible effects

Language:HaskellBSD-3-Clause10300

cabal-fmt

An experiment of formatting .cabal files

Language:HaskellGPL-3.010400

DownFall

A GNOME Shell extension that drops text characters of your choice down the screen

Language:JavaScriptGPL-3.04200

instance-impl

A GHC plugin for rust style impl with -XOverloadedRecordDot

Language:HaskellBSD-3-Clause1800

clash-systolic

Systolic Networks in Clash

Language:HaskellBSD-2-Clause600

setup-ipsec-vpn

Scripts to build your own IPsec VPN server, with IPsec/L2TP, Cisco IPsec and IKEv2

Language:ShellNOASSERTION2448700

stack-templates

Templates for `stack new` command

Language:HaskellCC0-1.0300

dysk

A linux utility to get information on filesystems, like df but better

Language:RustMIT85300

circuit-notation

A plugin for circuit notation

Language:HaskellBSD-3-Clause1000

validity

Validity and validity-based testing

Language:HaskellMIT15600

routr

⚡ The future of programmable SIP servers.

Language:TypeScriptMIT136600

require

🔌 Scrap your qualified import clutter

Language:HaskellNOASSERTION3800

tasty

Modern and extensible testing framework for Haskell

Language:Haskell63600

amcat

Amsterdam Content Analysis Toolkit

Language:HTMLAGPL-3.04500