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

916 results for source starred repositories
Clear filter

Nix overlay for Lean 4, and lake2nix

Nix 49 9 Updated Jun 19, 2025

CoreDNS is a DNS server that chains plugins

Go 13,117 2,254 Updated Jun 28, 2025

Lightweight Kubernetes

Go 30,079 2,464 Updated Jun 29, 2025

Cross-platform asynchronous I/O

C 25,455 3,710 Updated Jun 29, 2025

Orgmode clone written in Lua for Neovim 0.10.3+.

Lua 3,388 162 Updated Jun 26, 2025

XML/XHTML and CSS 2.1 renderer in pure Java

Java 2,113 573 Updated Jun 28, 2025

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

Go 1,174 159 Updated Jun 27, 2025

SQLite for SWI-Prolog

Prolog 1 Updated Jan 11, 2025

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

Rust 3,845 302 Updated Jun 17, 2025

aider is AI pair programming in your terminal

Python 34,980 3,210 Updated Jun 28, 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,107 1,903 Updated Jun 29, 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 506 10 Updated Jun 25, 2025

A Rust NFS Server implementation

Rust 660 68 Updated Sep 23, 2024

File system utility library for Clojure

Clojure 187 47 Updated Jun 28, 2025

Transparent file encryption in git

C++ 8,928 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,161 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 192 7 Updated Jun 27, 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,445 214 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,379 888 Updated Jun 28, 2025

Clojure library for shelling out / spawning sub-processes

Clojure 231 33 Updated Jun 29, 2025

Я - extremely composable embeddable programming language :shipit:

Haskell 67 Updated Jun 26, 2025

Neovim support for the Lean theorem prover

Lua 363 33 Updated Jun 28, 2025

Light-weight ClojureScript dialect

Clojure 765 51 Updated Jun 24, 2025
Next
0