- Seattle, WA
Highlights
- Pro
Stars
- All languages
- Agda
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- Common Workflow Language
- Coq
- Cuda
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Erlang
- F#
- F*
- Fennel
- Go
- Groovy
- HCL
- HTML
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Mathematica
- Mustache
- OCaml
- Objective-C
- Objective-C++
- OpenQASM
- PHP
- PLpgSQL
- Perl
- Python
- Racket
- ReScript
- Reason
- Rich Text Format
- Roff
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TLA
- TSQL
- TeX
- TypeScript
- Vim Script
- Vue
- Web Ontology Language
TypeScript implementation of TypeIDs: type-safe, K-sortable, and globally unique identifiers inspired by Stripe IDs
π΅οΈββοΈ Validate schema, get schema change notifications, validate operations, find breaking changes, look for similar types, schema coverage
Node.js ORM written in TypeScript for type lovers.
Fast and secure standalone server for resizing and converting remote images
A Node.js PostgreSQL client with runtime and build time type safety, and composable SQL.
πΈοΈ GraphQL Federation Framework for any API services such as REST, OpenAPI, Swagger, SOAP, gRPC and more...
π‘ A GraphQL tool to ease the creation of permission layer.
A small Python module for determining appropriate platform-specific dirs, e.g. a "user data dir".
TypeORM helper library enhancing safety in the compilation level
TypeScript-first schema validation with static type inference
antimatter15 / alpaca.cpp
Forked from ggerganov/llama.cppLocally run an Instruction-Tuned Chat-Style LLM
π» A better and friendly vi(vim) mode plugin for ZSH.
pre-commit git hooks to take care of Terraform configurations πΊπ¦
Guide to securing and improving privacy on macOS
Better than landingzones!
Native cross-platform full feature terminal-based sequence editor for git interactive rebase.
Run compilers interactively from your web browser and interact with the assembly
Architecture decision record (ADR) examples for software planning, IT leadership, and template documentation
Pretty good call graphs for dynamic languages
High-velocity, monorepo-scale workflow for Git
blingful character graphics/TUI library. definitely not curses.
Blazing π₯ fast terminal-ui for git written in rust π¦
Flexible data visualization software for embedded devices and projects