Giters
brezal

brezal

Geek Repo

17

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:91927Issues:240Issues:30125

nushell

A new type of shell

Language:RustLicense:MITStargazers:31720Issues:191Issues:5673

mjml

MJML: the only framework that makes responsive-email easy

Language:JavaScriptLicense:MITStargazers:16944Issues:166Issues:2031

rqlite

The lightweight, user-friendly, distributed relational database built on SQLite.

Language:GoLicense:MITStargazers:15582Issues:232Issues:528

IronOS

Open Source Soldering Iron firmware

Language:CLicense:GPL-3.0Stargazers:7144Issues:205Issues:864

ghdl

VHDL 2008/93/87 simulator

Language:VHDLLicense:GPL-2.0Stargazers:2335Issues:100Issues:2157

icestudio

:snowflake: Visual editor for open FPGA boards

Language:JavaScriptLicense:GPL-2.0Stargazers:1695Issues:84Issues:436

plfa.github.io

An introduction to programming language theory in Agda

Language:AgdaLicense:CC-BY-4.0Stargazers:1355Issues:23Issues:256

software-design-in-haskell

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

Language:HaskellStargazers:1065Issues:55Issues:7

nix-index

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

Language:RustLicense:NOASSERTIONStargazers:824Issues:9Issues:103

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:601Issues:40Issues:32

awesome-applied-ct

ACT community resources

License:MITStargazers:463Issues:53Issues:1

cubical

An experimental library for Cubical Agda

Language:AgdaLicense:NOASSERTIONStargazers:448Issues:26Issues:242

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:423Issues:45Issues:0

holmes

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

Language:HaskellLicense:MITStargazers:301Issues:13Issues:8

pcb-tools

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

Language:PythonLicense:Apache-2.0Stargazers:280Issues: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:140Issues:25Issues:18

emacs-scrum

dynamic scrum report generation for org-mode buffers

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

ShapeOko

Open Hardware desktop CNC machine.

Stargazers:95Issues:29Issues:0

hreq

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

Language:HaskellStargazers:53Issues:8Issues:6

elmtrn

elm + electron boiler plate

Language:ElmLicense:MITStargazers:49Issues: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:7Issues:3Issues:0

routercise

Exercise. For PCB routing.

Language:TypeScriptStargazers:4Issues: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