8000 ramonsnir (Ramon Snir) / Starred Β· GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View ramonsnir's full-sized avatar

Organizations

@netlify @gatsby-inc @inscreen

Block or report ramonsnir

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Limbo is a project to build the modern evolution of SQLite.

Rust 10,295 381 Updated May 1, 2025

Redis re-implemented with SQLite

Go 3,692 113 Updated Jan 5, 2025

A flexible distributed key-value database that is optimized for caching and other realtime workloads.

C 20,704 788 Updated Apr 29, 2025

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

TypeScript 923 48 Updated Apr 28, 2025

Make Inkscape a professional Cloud Visualization Studio for Cloud Architects

Python 340 11 Updated Apr 3, 2025

The open-source visual AI programming environment and TypeScript library

TypeScript 3,764 314 Updated May 1, 2025

The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source …

HTML 36,118 1,079 Updated Mar 18, 2025

A minimal terminal kanban board

Scala 73 2 Updated Nov 10, 2024

Safely execute untrusted Javascript in your Javascript, and execute synchronous code that uses async functions

TypeScript 1,419 108 Updated Sep 16, 2024

Open source API development ecosystem - https://hoppscotch.io (open-source alternative to Postman, Insomnia)

TypeScript 71,475 4,902 Updated May 1, 2025

Manage Datadog Monitor etc. with AWS CDK.

TypeScript 20 9 Updated Sep 10, 2024

Amazon Cloud Development Kit (CDK) logic to integrate your AWS account with Datadog

TypeScript 20 8 Updated Apr 5, 2024

Logic programming in Rust

Rust 464 18 Updated Mar 2, 2025

The open source and enterprise-ready webhooks service πŸ¦€

Rust 2,655 187 Updated Apr 29, 2025

Open source test automation tool for web applications, mobile apps and APIs

Java 469 114 Updated Oct 3, 2024

Autogenerate static GraphQL API documentation

TypeScript 265 22 Updated Mar 30, 2025

Documentation integration for SvelteKit.

TypeScript 493 33 Updated Jul 29, 2024

πŸ₯§ HTTPie CLI β€” modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.

Python 35,405 3,704 Updated Dec 17, 2024

Real-time microphone noise suppression on Linux.

Go 9,608 229 Updated Jan 13, 2025

lix (change control system) && inlang (globalization ecosystem for software built on lix)

TypeScript 1,446 152 Updated Apr 30, 2025

Layout is a rust library and a tool that renders Graphviz dot files.

Rust 688 41 Updated Apr 30, 2025

Rust Memory Safety & Undefined Behavior Detection

Rust 1,334 46 Updated Mar 9, 2024
JavaScript 1 Updated Aug 6, 2021

A Clojure model checker (using the TLA+/TLC engine)

Clojure 137 3 Updated May 4, 2024

A curated and opinionated list of resources for Chief Technology Officers, with the emphasis on startups

30,581 1,868 Updated Mar 24, 2024

A minimalist command line knowledge base manager

Python 3,230 109 Updated Oct 17, 2023
TypeScript 11 1 Updated Mar 5, 2023

πŸŽ“ Path to a free self-taught education in Computer Science!

HTML 178,788 22,658 Updated Apr 11, 2025

🌈 React for interactive command-line apps

TypeScript 28,528 656 Updated Apr 29, 2025

eBay's TSV Utilities: Command line tools for large, tabular data files. Filtering, statistics, sampling, joins and more.

D 1,446 82 Updated Sep 14, 2022
Next
0