1-day current streak·20-day longest streak
-
zed ★ PINNED ⑂
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
★ 0 6mo agoExplain → -
prisma-engines ★ PINNED ⑂
🚂 Engine components of Prisma ORM
★ 0 6mo agoExplain → -
purescript-waterslide-rs ★ PINNED
Generate Purescript types from your Rust types. (unmaintained)
Rust ★ 42 7y agoExplain → -
zig-diff ★ PINNED
Text diffing in zig
Zig ★ 14 3y agoExplain → -
gitmoji-selector
gitmoji selection with fzf+tmux
Rust ★ 12 5y agoExplain → -
rust-nix-wasm32-unknown-unknown-example
An example project building a Rust crate targetting wasm32-unknown-unknown with Nix
Nix ★ 11 4y agoExplain → -
tide-static-files
A static files server helper for the tide web framework (not production ready)
Rust ★ 10 6y agoExplain → -
tide-cookie-session
Experimental cookie session middleware and extractor for the tide web framework.
Rust ★ 6 7y agoExplain → -
graphql-introspection-protobuf
Protocol Buffer v3 definitions for GraphQL schema introspection.
★ 5 7y agoExplain → -
theorem-proving-in-lean-exercises
No description.
Lean ★ 5 6y agoExplain → -
wgpu-minimal-video-rendering-example
A tiny example project demonstrating how to render directly to a video file with wgpu
Rust ★ 4 4y agoExplain → -
coursera-scala-epfl
My solutions to the exercizes and assignments for the Coursera Scala courses
Scala ★ 4 9y agoExplain → -
nannou-sketches
Just trying to make interesting things
Rust ★ 4 6y agoExplain → -
nix-config
It's what it says on the tin.
Nix ★ 3 1y agoExplain → -
init.vim
My neovim config files
Vim script ★ 3 7y agoExplain → -
graphql-client-talk
No description.
Rust ★ 3 7y agoExplain → -
catslapp
No description.
Rust ★ 3 8y agoExplain → -
spock-kant-lipsum
kantlipsum as a web app
Haskell ★ 3 8y agoExplain → -
homepage
No description.
HTML ★ 2 4mo agoExplain → -
prisma-migration-engine-api-reference
Just an experiment
Rust ★ 2 4y agoExplain → -
holidays-gem
No description.
Rust ★ 2 7y agoExplain → -
chezmoi-dotfiles
No description.
Shell ★ 1 14h agoExplain → -
spivak-calculus
Notes and proofs in lean from reading Michael Spivak's Calculus (3rd ed).
Lean ★ 1 5y agoExplain → -
awesome-lean4
Curated list of awesome Lean 4 projects from the community.
★ 1 3y agoExplain → -
tpil4
theorem proving in lean 4 exercises
Lean ★ 1 3y agoExplain → -
crane-workspace-deps-repro
No description.
Nix ★ 1 3y agoExplain → -
protoc-gen-gql
WIP
Rust ★ 1 3y agoExplain → -
purescript-experiment-pux
No description.
PureScript ★ 1 8y agoExplain → -
postgraphql-experiment
No description.
Rust ★ 1 8y agoExplain → -
rocket-experiment
No description.
Rust ★ 1 8y agoExplain → -
try-parcel
No description.
Rust ★ 1 8y agoExplain → -
gql-something-different-prototype
No description.
Rust ★ 1 8y agoExplain → -
fragments-cli
No description.
Rust ★ 1 8y agoExplain → -
stop-politicizing-bot
a small twitter bot (node + rust with wasm)
JavaScript ★ 1 7y agoExplain → -
math-notes
No description.
Typst ★ 0 2mo agoExplain → -
rfcs
No description.
HTML ★ 0 4mo agoExplain → -
gh-workflow ⑂
Write your github workflows in rust
★ 0 4mo agoExplain → -
zed-mcp-server-linear ⑂
A Linear MCP Server Extension for Zed
★ 0 4mo agoExplain → -
cv
No description.
Typst ★ 0 6mo agoExplain → -
paradedb ⑂
The transactional Elasticsearch alternative built on Postgres
★ 0 6mo agoExplain → -
fastrace-axum ⑂
A axum instrument for propagating trace context for fastrace.
★ 0 8mo agoExplain → -
graphql-conf-2025-talks
No description.
Typst ★ 0 9mo agoExplain → -
awesome-remote-mcp-servers ⑂
Remote MCP Servers
★ 0 11mo agoExplain → -
wasm-bindgen ⑂
Facilitating high-level interactions between wasm modules and JavaScript
Rust ★ 0 7y agoExplain → -
gloo ⑂
A modular toolkit for building fast, reliable Web applications and libraries with Rust and Wasm
Rust ★ 0 7y agoExplain → -
composite-schemas-wg ⑂
The GraphQL Composite Schemas WG (subcommittee)
★ 0 10mo agoExplain → -
composite-schemas-spec ⑂
GraphQL Composite Schema specification
★ 0 1y agoExplain → -
mcp-servers ⑂
Model Context Protocol Servers
★ 0 1y agoExplain → -
zitadel-rust ⑂
An implementation of the ZITADEL gRPC API in Rust. Complemented with other useful elements such as ServiceAccount auth.
Rust ★ 0 4mo agoExplain → -
nixpkgs ⑂
Nix Packages collection
Nix ★ 0 1y agoExplain → -
cynic ⑂
A bring your own types GraphQL client library for Rust
Rust ★ 0 1y agoExplain → -
tmp-cloudflare-repro
No description.
TypeScript ★ 0 2y agoExplain → -
grafbase-openai-template-test
No description.
TypeScript ★ 0 2y agoExplain → -
persistgraphql ⑂
A build tool for GraphQL projects.
★ 0 7y agoExplain → -
grafbase-operation-checks-demo
No description.
TypeScript ★ 0 2y agoExplain → -
do-not-delete-repo-for-random-schemas
No description.
★ 0 2y agoExplain → -
pgx_ulid ⑂
Postgres extension for ulid
Rust ★ 0 2y agoExplain → -
apollo-supergraph-demo-fed2 ⑂
🍿 Supergraph demo for Federation 2 and Apollo Router
★ 0 2y agoExplain → -
grafbase-schema-check-action-federated-graph-example
Example of a federated graph project with schema checks in CI
TypeScript ★ 0 3mo agoExplain → -
grafbase-schema-check-action-single-graph-example
Example of a single graph project with schema checks in CI
TypeScript ★ 0 3mo agoExplain → -
grafbase-single-graph-ci-example
No description.
TypeScript ★ 0 2y agoExplain → -
grafbase-schema-check-action
just a prototype for now
★ 0 2y agoExplain → -
grafbase-wasm-engine-example
No description.
TypeScript ★ 0 2y agoExplain → -
Rocket ⑂
A web framework for Rust.
Rust ★ 0 8y agoExplain → -
hyperdrive-repro
No description.
Rust ★ 0 2y agoExplain → -
iddqd-demo2
No description.
Nix ★ 0 2y agoExplain → -
iddqd-demo
No description.
Nix ★ 0 2y agoExplain → -
grafbase-deploy-test
No description.
TypeScript ★ 0 2y agoExplain → -
-prisma-dmmf-relation-field-ordering-influences-input-type-arity-repro
No description.
★ 0 3y agoExplain → -
prisma-size-measurements
No description.
Nix ★ 0 3y agoExplain → -
nutrition
No description.
Nix ★ 0 2y agoExplain → -
marcus-process-spawn-issue-quick-repro
No description.
Rust ★ 0 4y agoExplain → -
art ⑂
Adaptive Radix Trie implementation for fixed-length keys
★ 0 4y agoExplain → -
user-map ⑂
A second attempt on documenting where the ziguanas of the world live
★ 0 4y agoExplain → -
cupper-hugo-theme ⑂
An accessibility-friendly Hugo theme, ported from the original Cupper project.
HTML ★ 0 4y agoExplain → -
wgpu-schnecke
No description.
Rust ★ 0 4y agoExplain → -
latex-focus-project
A LaTeX project shell as a nix flake. It takes care of all the configuration, setup directory structure problems, so users can focus on writing content.
Shell ★ 0 4y agoExplain → -
prisma-nix-dev-setup
flake.nix and .envrc for prisma/prisma development
Nix ★ 0 3y agoExplain → -
home-manager ⑂
Manage a user environment using Nix [maintainer=@rycee]
★ 0 4y agoExplain → -
ct-cs-proofs
No description.
Agda ★ 0 4y agoExplain → -
prisma-fmt-build
No description.
Nix ★ 0 4y agoExplain → -
error-chain ⑂
Error boilerplate for Rust
Rust ★ 0 9y agoExplain → -
on-delete-experiments
on delete / on update research
★ 0 5y agoExplain → -
rubocop ⑂
A Ruby static code analyzer, based on the community Ruby style guide.
Ruby ★ 0 9y agoExplain → -
migrate-dev-lean
Formal models to reason about the prisma migrate `dev` command
Lean ★ 0 5y agoExplain → -
tomhoule.github.io-old
No description.
HTML ★ 0 6y agoExplain → -
tiberius ⑂
TDS 7.4 (mssql / Microsoft SQL Server) async driver for rust
★ 0 6y agoExplain → -
mysql-async-float-precision-loss-repro
No description.
Rust ★ 0 6y agoExplain → -
rust_mysql_common ⑂
Common primitives of MySql protocol.
★ 0 6y agoExplain → -
temp-tokio-postgres-experiment
No description.
Rust ★ 0 6y agoExplain → -
rust-decimal ⑂
A Decimal Implementation written in pure Rust suitable for financial calculations.
★ 0 6y agoExplain → -
sled-record
No description.
Rust ★ 0 6y agoExplain → -
materialize ⑂
The Streaming Data Warehouse
★ 0 6y agoExplain → -
programming-fanny-pack
No description.
Vim script ★ 0 6y agoExplain → -
graphql-parser ⑂
A graphql query language and schema definition language parser and formatter for rust
★ 0 6y agoExplain → -
barrel ⑂
🛢 A database schema migration builder for Rust
Rust ★ 0 6y agoExplain → -
karlsruhe-js-photon-demo
No description.
TypeScript ★ 0 6y agoExplain → -
futures-rs ⑂
Zero-cost asynchronous programming in Rust
Rust ★ 0 7y agoExplain → -
mysql_async ⑂
Asyncronous Rust Mysql driver based on Tokio.
★ 0 6y agoExplain → -
tide ⑂
Modular web framework
Rust ★ 0 7y agoExplain → -
http-service ⑂
Types and traits for http-based services using the latest futures API
★ 0 6y agoExplain → -
prisma-query ⑂
SQL Query AST and Visitor for Rust
★ 0 6y agoExplain → -
jsonrpc ⑂
Rust JSON-RPC implementation
★ 0 6y agoExplain → -
rust-jsonrpc ⑂
Rust JSONRPC library
★ 0 6y agoExplain → -
holiday-definitions ⑂
Holiday definition files. You deserve a holiday!
★ 0 6y agoExplain → -
prisma2-lift-issue-147-repro
No description.
TypeScript ★ 0 6y agoExplain → -
zshrc
No description.
Shell ★ 0 6y agoExplain → -
site ⑂
Landing page for plumage. Splendid.
CSS ★ 0 7y agoExplain → -
contrib ⑂
This is a place for various components in the Kubernetes ecosystem that aren't part of the Kubernetes core. Consider creating a new repo instead.
Go ★ 0 9y agoExplain → -
graphql-rust.github.io ⑂
Documentation and website for Juniper
Rust ★ 0 7y agoExplain → -
juniper ⑂
GraphQL server library for Rust
Rust ★ 0 7y agoExplain → -
kakrc
My Kakoune configuration
★ 0 7y agoExplain → -
awesome-graphql ⑂
Awesome list of GraphQL & Relay
★ 0 7y agoExplain → -
microsoft-drop-ice ⑂
Tell Microsoft to drop ICE as a client or lose us as GitHub users
★ 0 8y agoExplain → -
gqlient
No description.
Rust ★ 0 8y agoExplain → -
graphql ⑂
A Rust GraphQL server framework
Rust ★ 0 8y agoExplain → -
aggregateur-socio-noel-2017
No description.
Ruby ★ 0 8y agoExplain → -
webgl-wasm-rust-experiment
Just playing with webgl, wasm and rust.
JavaScript ★ 0 8y agoExplain → -
rust ⑂
A safe, concurrent, practical language.
Rust ★ 0 8y agoExplain → -
validator ⑂
Simple validation for Rust structs
Rust ★ 0 8y agoExplain → -
turtle-tmux
small turtle script to start tmux sessions
Haskell ★ 0 9y agoExplain → -
purescript-serde-experiment
No description.
PureScript ★ 0 9y agoExplain → -
servant-experiment-2
No description.
Haskell ★ 0 9y agoExplain → -
servant-experiment
No description.
PureScript ★ 0 9y agoExplain → -
spi--ex-experiment
No description.
Elixir ★ 0 9y agoExplain → -
stdweb ⑂
A standard library for the client-side Web
Rust ★ 0 8y agoExplain → -
servo ⑂
The Servo Browser Engine
★ 0 9y agoExplain → -
pajama-language-server-protocol-client
A WIP client library for the language server protocol built with tokio
Rust ★ 0 9y agoExplain → -
tlafun
No description.
TLA ★ 0 9y agoExplain → -
tla-experiment
No description.
TLA ★ 0 9y agoExplain → -
rust-experiment
No description.
Rust ★ 0 9y agoExplain → -
slog ⑂
Structured, composable logging for Rust
Rust ★ 0 9y agoExplain → -
spinoza-md
No description.
★ 0 9y agoExplain → -
tmux.conf
No description.
★ 0 8y agoExplain → -
django-assignment
No description.
Python ★ 0 9y agoExplain → -
go-auth-service-experiment
No description.
Go ★ 0 10y agoExplain → -
flask-simple-auth-service
An experiment with Flask and JWT (not usable)
Python ★ 0 10y agoExplain → -
react-collage
React components for image montages (abandoned)
TypeScript ★ 0 10y agoExplain → -
react-native-hello-world
No description.
Objective-C ★ 0 10y agoExplain → -
spinoza.toml
A WIP idea of a commonmark-in-toml edition of Spinoza’s Ethica
★ 0 10y agoExplain → -
emacs.d
My emacs config files
Emacs Lisp ★ 0 10y agoExplain → -
diesel ⑂
A safe, extensible ORM and Query Builder for Rust
Rust ★ 0 10y agoExplain → -
DefinitelyTyped ⑂
The repository for high quality TypeScript type definitions.
TypeScript ★ 0 10y agoExplain →
No repos match these filters.