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

Sponsoring

@roc-lang

Organizations

@kickstarter

Block or report a-lavis

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

A fast, friendly, functional language.

Rust 5,023 338 Updated Jun 16, 2025

High performance UI layout library in C.

C 14,384 540 Updated Jun 13, 2025

The Bluesky Social application for Web, iOS, and Android

TypeScript 16,269 2,281 Updated Jun 14, 2025

A modern runtime for JavaScript and TypeScript.

Rust 103,318 5,627 Updated Jun 16, 2025

AoC template for Roc

Roc 19 6 Updated Dec 3, 2024

A simple Parser for Roc

HTML 28 11 Updated Jan 28, 2025

An ergonomic command-line argument parser for the Roc language.

Roc 51 2 Updated Jan 24, 2025

Create Rails projects with Ruby installed

Rust 277 29 Updated Jan 16, 2025

A massively parallel, optimal functional runtime in Rust

Cuda 11,036 423 Updated Nov 21, 2024

A Go / TypeScript meta-framework with first-class support for React, Solid, and Preact – built on Vite.

Go 354 3 Updated Jun 12, 2025

OpenTofu lets you declaratively manage your cloud infrastructure.

Go 25,690 1,028 Updated Jun 13, 2025

A Ruby LSP addon for RSpec tests

Ruby 172 15 Updated Jun 14, 2025

πŸ“ next generation CRuby profiler

Ruby 999 28 Updated Jun 3, 2025

Tutorial to write a Ruby JIT

Ruby 182 17 Updated Aug 15, 2024

A Ruby language server for large codebases

Rust 218 5 Updated Apr 25, 2025

Build terminal user interfaces and dashboards using Rust

Rust 10,856 487 Updated Aug 6, 2023

Cross platform terminal library rust

Rust 3,586 305 Updated Jun 3, 2025

β˜„πŸŒŒοΈ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

Rust 49,341 2,137 Updated Jun 16, 2025

A modern proof language

Haskell 3,682 146 Updated Jan 22, 2025

A programming language and model of computation that matches the optimal Ξ»-calculus reduction algorithm perfectly.

C 889 62 Updated Mar 27, 2025

Show notes from Oxide and Friends recordings

Rust 339 70 Updated Jun 16, 2025

An easy-to-use Rust framework for building robust and performant APIs

Rust 1,910 72 Updated Jun 16, 2025

expose REST APIs from a Rust program

Rust 1,058 83 Updated Jun 16, 2025

Easily and efficiently make your ActiveRecord models support hierarchies

Ruby 1,881 243 Updated Jun 2, 2025
Ruby 301 43 Updated Jun 9, 2025

The Crystal Programming Language

Crystal 19,827 1,642 Updated Jun 16, 2025

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

V 36,462 2,194 Updated Jun 16, 2025

πŸ’Ž Artichoke is a Ruby made with Rust

Rust 3,116 110 Updated Jun 10, 2025

A little bit fast and modern Ruby version manager written in Rust

Rust 646 14 Updated May 13, 2022
Next
0