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

Block or report svieira

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
8000
Showing results

🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/

Haskell 139 1 Updated Jun 22, 2025

Mill is a fast JVM build tool that supports Java, Scala, Kotlin and many other languages. 3-6x faster than Maven or Gradle for common workflows, Mill aims to make your project’s build process perfo…

Scala 2,465 406 Updated Jul 4, 2025

An extremely fast Python type checker and language server, written in Rust.

Python 10,480 93 Updated Jul 2, 2025

🐸 Rybbit - open-source and privacy-friendly alternative to Google Analytics that is 10x more intuitive.

TypeScript 7,250 280 Updated Jul 4, 2025

A TypeScript/JavaScript library for quickly building performant declarative user interfaces without the use of a virtual DOM.

TypeScript 103 7 Updated May 18, 2025

Third, a small Forth compiler for 8086 DOS

Forth 81 7 Updated Oct 1, 2015

An introduction to the J programming language that gets to the point.

J 62 1 Updated May 13, 2025

⎈ Multi pod and container log tailing for Kubernetes -- Friendly fork of https://github.com/wercker/stern

Go 4,036 142 Updated May 27, 2025

⚡️ Icon Explorer with Instant searching, powered by Iconify

Vue 6,692 311 Updated Jul 2, 2025

Rust debugger for Linux x86-64

Rust 1,113 23 Updated Jun 30, 2025

Self-contained worked examples of Apache Lucene features and functionality

Java 203 32 Updated Jul 1, 2025

Text Adventure game in SWI Prolog.

Prolog 100 2 Updated Aug 14, 2023

The community-maintained fork of the Dialog programming language for interactive fiction.

C 12 4 Updated Jun 9, 2025

Toolkit for Scala Development

Scala 687 65 Updated Jul 4, 2025

Single File, Single GPU, From Scratch, Efficient, Full Parameter Tuning library for "RL for LLMs"

Jupyter Notebook 485 42 Updated Jun 30, 2025

Strong type constraints for Scala

Scala 524 58 Updated Jun 24, 2025

A 'new look' for database access in Scala

Scala 255 19 Updated May 23, 2025

A lightweight javascript timezone library

JavaScript 4,071 190 Updated May 24, 2025

A natural language date parser in Javascript

TypeScript 4,967 355 Updated Jun 14, 2025

LLRT (Low Latency Runtime) is an experimental, lightweight JavaScript runtime designed to address the growing demand for fast and efficient Serverless applications.

Rust 8,462 373 Updated Jul 4, 2025

a concolic testing engine for Java

Java 106 34 Updated Feb 20, 2018

Run JS when a CSS property changes. Any CSS property.

JavaScript 499 8 Updated Jun 9, 2025

A fast, efficient Node.js Worker Thread Pool implementation

TypeScript 4,800 137 Updated Jul 4, 2025

Automatic and customizable compile time transformations between similar case classes and sealed traits/enums, essentially a thing that glues your code. Scala 3 only. Or is it duct 🤔

Scala 421 8 Updated Jun 29, 2025

An accessible and bootstrap compatible datepicker

JavaScript 66 54 Updated Aug 9, 2022

Writing a compiler in a week-end

Python 398 22 Updated Mar 7, 2025

Brogue: Community Edition - a community-lead fork of the much-loved minimalist roguelike game

C 1,169 117 Updated May 25, 2025

The open source Solver AI for Java, Python and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other pl…

Java 1,385 144 Updated Jun 30, 2025

Automated Capability Discovery via Foundation Model Self-Exploration

Python 56 4 Updated Feb 12, 2025

A word processor which gets the hell out of your way and lets you get some work done.

Lua 1,049 62 Updated Mar 16, 2025
Next
0