dev-m1-macbook's starred repositories

ts

Monorepo of typescript projects

Language:TypeScriptLicense:Apache-2.0Stargazers:152Issues:0Issues:0

io-ts-reporters

Error reporters for io-ts

Language:TypeScriptLicense:MITStargazers:90Issues:0Issues:0

circ

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

Language:RustLicense:NOASSERTIONStargazers:275Issues:0Issues:0

busboy

A streaming parser for HTML form data for node.js

Language:JavaScriptLicense:MITStargazers:76Issues:0Issues:0

glyphcheck

Detect malicious homoglyphs in Go source code

Language:GoLicense:MITStargazers:47Issues:0Issues:0

siliconcompiler

A modular build system for hardware

Language:PythonLicense:Apache-2.0Stargazers:809Issues:0Issues:0

runtypes

Runtime validation for static types

Language:TypeScriptLicense:MITStargazers:2574Issues:0Issues:0

typera

Type-safe routes for Express and Koa

Language:TypeScriptLicense:MITStargazers:174Issues:0Issues:0

labml

🔎 Monitor deep learning model training and hardware usage from your mobile phone 📱

Language:Jupyter NotebookLicense:MITStargazers:1957Issues:0Issues:0

quaint

SQL Query AST and Visitor for Rust

Language:RustLicense:Apache-2.0Stargazers:582Issues:0Issues:0

pgtyped

pgTyped - Typesafe SQL in TypeScript

Language:TypeScriptLicense:MITStargazers:2873Issues:0Issues:0

typera-openapi

Generate OpenAPI spec from typera routes

Language:TypeScriptStargazers:23Issues:0Issues:0

squeryl

A Scala DSL for talking with databases with minimum verbosity and maximum type safety

Language:ScalaLicense:Apache-2.0Stargazers:584Issues:0Issues:0

ProReveal

Progressive Visual Analytics with Safeguards

Language:TypeScriptStargazers:8Issues:0Issues:0

typescript-strictly-typed

Automatic configuration for fully typed TypeScript. Because strict mode is not enough.

Language:TypeScriptLicense:MITStargazers:51Issues:0Issues:0

Rudra

Rust Memory Safety & Undefined Behavior Detection

Language:RustLicense:Apache-2.0Stargazers:1308Issues:0Issues:0

react-navigation-collapsible

An extension of react-navigation that makes your header collapsible.

Language:TypeScriptLicense:MITStargazers:1164Issues:0Issues:0

react-headroom

Hide your header until you need it

Language:JavaScriptLicense:MITStargazers:1826Issues:0Issues:0
Language:TypeScriptStargazers:2Issues:0Issues:0

axax

Async Iterator Extensions for JavaScript e.g. map, reduce, filter, flatMap, etc.

Language:TypeScriptLicense:MITStargazers:510Issues:0Issues:0

visx

🐯 visx | visualization components

Language:TypeScriptLicense:MITStargazers:19156Issues:0Issues:0

baseweb

A React Component library implementing the Base design language

Language:TypeScriptLicense:MITStargazers:8668Issues:0Issues:0

hyper

A terminal built on web technologies

Language:TypeScriptLicense:MITStargazers:43017Issues:0Issues:0

mfsqlchecker

Statically validate correctness of all your SQL queries. TypeScript, PostgreSQL

Language:TypeScriptLicense:MITStargazers:59Issues:0Issues:0

schemats

A postgres & mysql -> typescript interface generator

Language:TypeScriptLicense:MITStargazers:224Issues:0Issues:0

Bond

A Swift binding framework

Language:SwiftLicense:MITStargazers:4233Issues:0Issues:0

Kind1

A modern proof language

Language:JavaScriptLicense:MITStargazers:3535Issues:0Issues:0

codemaid

CodeMaid is an open source Visual Studio extension to cleanup and simplify our C#, C++, F#, VB, PHP, PowerShell, JSON, XAML, XML, ASP, HTML, CSS, LESS, SCSS, JavaScript and TypeScript coding.

Language:C#License:LGPL-3.0Stargazers:1880Issues:0Issues:0

kiss3d

Keep it simple, stupid 3d graphics engine for Rust.

Language:RustLicense:BSD-3-ClauseStargazers:1477Issues:0Issues:0

react-popper

🍿⚛Official React library to use Popper, the positioning library

Language:JavaScriptLicense:MITStargazers:2500Issues:0Issues:0