gabssnake

gabssnake's Stars

• zed-industries/zed

  Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

  Language:Rust51.7k22710k3.3k

• purescript/purescript

  A strongly-typed language that compiles to JavaScript

  Language:Haskell8.6k1572.4k564

• Stengo/DeskPad

  A virtual monitor for screen sharing

  Language:Swift5.6k223696

• hylang/hy

  A dialect of Lisp that's embedded in Python

  Language:Python5.2k1181.1k372

• versotile-org/verso

  A web browser that plays old world blues to build new world hope

  Language:Rust4.7k3174158

• onlook-dev/onlook

  The open source, local-first Figma for React. Design directly in your live React app and publish your changes to code.

  Language:TypeScript4.2k22365252

• zhengkyl/qrframe

  code-based qr code designer

  Language:TypeScript2.5k4271

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.3k241.7k97

• thoughtworks/build-your-own-radar

  A library that generates an interactive radar, inspired by https://thoughtworks.com/radar/.

  Language:CSS2.2k961661k

• peerigon/updtr

  Update outdated npm modules with zero pain™

  Language:JavaScript2.2k334533

• loggerhead/json4u

  Language:TypeScript2.1k61697

• nate-parrott/ball

  Language:Swift1.6k51835

• tegonhq/tegon

  Tegon is an open-source, dev-first alternative to Jira, Linear

  Language:TypeScript1.6k79976

• ivanreese/visual-programming-codex

  Waypoints to the past and future of visual programming.

  1.4k7711858

• guacsec/guac

  GUAC aggregates software security metadata into a high fidelity graph database.

  Language:Go1.3k43497179

• structurizr/java

  Structurizr for Java

  Language:Java1k59172291

• microsoft/DevSkim

  DevSkim is a set of IDE plugins, language analyzers, and rules that provide security "linting" capabilities.

  Language:C#92036271115

• purescript/spago

  🍝 PureScript package manager and build tool

  Language:PureScript79419593132

• maddalax/htmgo

  htmgo - build simple and scalable systems with go + htmx

  Language:Go74923820

• clarkware/jdepend

  A Java package dependency analyzer that generates design quality metrics.

  Language:Java6663914132

• shaunlebron/history-of-lisp-parens

  a history of Lisp's most notorious artifact, parentheses

  570311629

• rubynor/bigfive-web

  Website for taking personality tests

  Language:TypeScript474980171

• modularml/max

  A collection of sample programs, notebooks, and tools which highlight the power of the MAX Platform

  Language:Python4002413754

• finos/architecture-as-code

  "Architecture as Code" (AasC) aims to devise and manage software architecture via a machine readable and version-controlled codebase, fostering a robust understanding, efficient development, and seamless maintenance of complex software architectures

  Language:TypeScript671520138

• diffblue/hw-cbmc

  The HW-CBMC and EBMC Model Checkers for Verilog

  Language:C++6294115

• kholia/IPIP-NEO-PI

  International Personality Item Pool Representation of the NEO PI-R™. Tests designed to educate the public about the five-factor model of personality.

  Language:JavaScript486020

• Stengo/Exposition

  A simple keystroke visualizer

  Language:Swift29311

• mohd-akram/mdnpages

  JavaScript man pages via MDN

  Language:Roff14202

• diffblue/homebrew-cbmc

  brew tap for CBMC

  Language:Ruby31022

• nickknw/vbnet_signature_survey

  Ward Cunninham's Signature Survey, adapted for vb.net, with some enhancements of my own.

  Language:Ruby1222