Giters
brezal

brezal

Geek Repo

18

followers

181

following

2k

stars

Github PK Tool:Github PK Tool

brezal's starred repositories

ant-design

An enterprise-class UI design language and React UI library

Language:TypeScriptLicense:MITStargazers:90972Issues:237Issues:29587

nushell

A new type of shell

Language:RustLicense:MITStargazers:30894Issues:182Issues:5435

mjml

MJML: the only framework that makes responsive-email easy

Language:JavaScriptLicense:MITStargazers:16657Issues:168Issues:2016

rqlite

The lightweight, distributed relational database built on SQLite.

Language:GoLicense:MITStargazers:15182Issues:227Issues:518

IronOS

Open Source Soldering Iron firmware

Language:CLicense:GPL-3.0Stargazers:6970Issues:208Issues:852

ghdl

VHDL 2008/93/87 simulator

Language:VHDLLicense:GPL-2.0Stargazers:2271Issues:100Issues:2072

icestudio

:snowflake: Visual editor for open FPGA boards

Language:JavaScriptLicense:GPL-2.0Stargazers:1674Issues:84Issues:434

plfa.github.io

An introduction to programming language theory in Agda

Language:AgdaLicense:CC-BY-4.0Stargazers:1337Issues:23Issues:250

software-design-in-haskell

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

Language:HaskellStargazers:1055Issues:54Issues:7

nix-index

Quickly locate nix packages with specific files [maintainers=@bennofs @figsoda @raitobezarius]

Language:RustLicense:NOASSERTIONStargazers:778Issues:10Issues:101

selectrum

🔔 Better solution for incremental narrowing in Emacs.

Language:Emacs LispLicense:MITStargazers:737Issues:16Issues:315

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

Language:HaskellLicense:BSD-3-ClauseStargazers:573Issues:39Issues:32

awesome-applied-ct

ACT community resources

License:MITStargazers:461Issues:53Issues:1

cubical

An experimental library for Cubical Agda

Language:AgdaLicense:NOASSERTIONStargazers:437Issues:28Issues:239

Easy-SDR

This project is about creation of affordable and easy-to-manufacture prototypes of PCBs which are used to expand the capabilities of existing low-cost SDR receivers based on RTL2832U chip.

License:MITStargazers:410Issues:45Issues:0

holmes

A reference library for constraint-solving with propagators and CDCL.

Language:HaskellLicense:MITStargazers:298Issues:13Issues:8

pcb-tools

Tools to work with PCB data (Gerber, Excellon, NC files) using Python.

Language:PythonLicense:Apache-2.0Stargazers:277Issues:25Issues:78

lepton-eda

GPL Electronic Design Automation

Language:CLicense:GPL-2.0Stargazers:202Issues:27Issues:130

reflex-vty

Build terminal applications using functional reactive programming (FRP) with Reflex FRP.

Language:HaskellLicense:BSD-3-ClauseStargazers:139Issues:23Issues:18

emacs-scrum

dynamic scrum report generation for org-mode buffers

Language:Emacs LispLicense:GPL-3.0Stargazers:116Issues:5Issues:9

ShapeOko

Open Hardware desktop CNC machine.

Stargazers:94Issues:29Issues:0

hreq

A type dependent highlevel HTTP client library inspired by servant-client.

Language:HaskellStargazers:54Issues:8Issues:6

elmtrn

elm + electron boiler plate

Language:ElmLicense:MITStargazers:50Issues:4Issues:0

oops

Classy error-handling (and dispatching!) in Haskell.

Language:HaskellLicense:MITStargazers:48Issues:4Issues:3

tasty-expected-failure

Mark test cases as expected-failure

Language:HaskellLicense:MITStargazers:21Issues:5Issues:12

gerberpeek

A Python-based RS-247X Gerber file renderer

Language:PythonLicense:GPL-3.0Stargazers:6Issues:3Issues:0

routercise

Exercise. For PCB routing.

Language:TypeScriptStargazers:3Issues:1Issues:0

emhell

Embedded shells

Language:HaskellLicense:NOASSERTIONStargazers:3Issues:4Issues:1

clash-riscv

A RiscV processor implementing the RV32I instruction set written in Clash

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

plfa-book

Programming Languague Foundations in Agda exercises - https://plfa.github.io/

Language:AgdaStargazers:1Issues:0Issues:0