8000 BRonen (Brenno Rodrigues) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View BRonen's full-sized avatar
:shipit:
Working on functions
:shipit:
Working on functions

Block or report BRonen

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

Starred repositories

Showing results

Cross-platform asynchronous I/O

C 25,443 3,710 Updated Jun 24, 2025

Orgmode clone written in Lua for Neovim 0.10.3+.

Lua 3,385 161 Updated Jun 26, 2025

XML/XHTML and CSS 2.1 renderer in pure Java

Java 2,112 573 Updated Jun 25, 2025

A command line utility to facilitate terraforming your existing Cloudflare resources.

Go 1,174 159 Updated Jun 26, 2025

SQLite for SWI-Prolog

Prolog 1 Updated Jan 11, 2025

async fn(Request) -> Result<Response, Error>

Rust 3,839 302 Updated Jun 17, 2025

aider is AI pair programming in your terminal

Python 34,920 3,198 Updated Jun 25, 2025

Online, interactive edition of the "Simply Logical" Prolog textbook

Prolog 149 23 Updated Dec 17, 2024

Unification library

Clojure 149 9 Updated May 30, 2025

An incremental parsing system for programming tools

Rust 21,079 1,895 Updated Jun 27, 2025

SQLx for Cloudflare D1

Rust 29 2 Updated Jun 24, 2025

Create custom SQLite functions in JavaScript. Extend your database with scalars, aggregates, window functions, and collations directly in JavaScript.

C 504 10 Updated Jun 25, 2025

A Rust NFS Server implementation

Rust 660 68 Updated Sep 23, 2024

File system utility library for Clojure

Clojure 186 47 Updated Jun 7, 2025

Transparent file encryption in git

C++ 8,924 493 Updated Sep 3, 2024

Class materials for a distributed systems lecture series

9,194 685 Updated Mar 18, 2025

Quadsort is a branchless stable adaptive mergesort faster than quicksort.

C 2,160 108 Updated Jul 27, 2024

Inferior MongoDB mode for Emacs.

Emacs Lisp 34 7 Updated Apr 8, 2018

Shell/Comint alternative with a fully functional terminal for Emacs 29.1 and later.

Emacs Lisp 190 7 Updated May 31, 2025

maze game encoded in Lean 4 syntax

Lean 58 4 Updated Apr 3, 2025

📊 A minimalist, self-hosted WakaTime-compatible backend for coding statistics

Go 3,440 215 Updated Jun 17, 2025

A streaming data library

Haskell 919 197 Updated Jun 26, 2025

Rhino is an open-source implementation of JavaScript written entirely in Java

JavaScript 4,376 888 Updated Jun 20, 2025

Clojure library for shelling out / spawning sub-processes

Clojure 229 33 Updated Jun 19, 2025

Я - extremely composable embeddable programming language :shipit:

Haskell 67 Updated Jun 26, 2025

Neovim support for the Lean theorem prover

Lua 362 32 Updated Jun 23, 2025

Light-weight ClojureScript dialect

Clojure 765 51 Updated Jun 24, 2025

Chaos Monkey is a resiliency tool that helps applications tolerate random instance failures.

Go 15,960 1,212 Updated Jan 6, 2025

Handles touchscreen events in modern versions of Emacs.

Emacs Lisp 6 Updated May 25, 2024

Transient commands

Emacs Lisp 788 68 Updated Jun 24, 2025
Next
0