Giters
Geometer1729

Geometer1729

Geek Repo

24

followers

27

following

9

stars

Github PK Tool:Github PK Tool

Organizations
MinaProtocol
o1-labs
Plutonomicon

Geometer1729's starred repositories

No-Chat-Reports

Disable Player Chat Reporting and make user messages untrackable.

Language:JavaLicense:WTFPLStargazers:947Issues:4Issues:282

CIPs

Cardano Improvement Proposals (CIPs)

Language:JavaScriptLicense:CC-BY-4.0Stargazers:471Issues:71Issues:145

gaslight

Language:JavaLicense:WTFPLStargazers:436Issues:10Issues:10

guardian

Language:JavaLicense:WTFPLStargazers:137Issues:7Issues:12

nocargo

[alpha] Build Rust crates with Nix Build System.

Language:NixLicense:MITStargazers:129Issues:7Issues:15

girlboss

Language:JavaLicense:WTFPLStargazers:106Issues:7Issues:6

cardano-transaction-lib

A Purescript library for building smart contract transactions on Cardano

Language:PureScriptLicense:MITStargazers:92Issues:13Issues:731

homeassistant-smartrent

Home Assistant Custom Component for SmartRent Locks 🔐, Thermostats 🌡, Sensors 💧 and Switches💡

Language:PythonLicense:MITStargazers:82Issues:4Issues:28

should-not-typecheck

A HUnit/hspec assertion to verify that an expression does not typecheck

Language:HaskellLicense:BSD-3-ClauseStargazers:42Issues:7Issues:8