Skip to content
View tylonn's full-sized avatar

Block or report tylonn

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

Programming Language Theory λΠ

CSS 5,237 337 Updated Jul 28, 2023

A collaborative bibliography of work related to the theory and practice of computational effects

971 84 Updated Nov 23, 2024

The Hindley Milner Type Inference Algorithm

OCaml 365 18 Updated Dec 11, 2016

the official Rust and C implementations of the BLAKE3 cryptographic hash function

Assembly 5,219 351 Updated Oct 8, 2024

🖨 An optimizing compiler for a Lisp variant. Compiles and executes byte code in a VM. Can also output JavaScript.

Rust 25 1 Updated Oct 15, 2024

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

Rust 11,479 1,547 Updated Nov 21, 2024

Interactive visualizations of Rust at compile-time and run-time

Rust 2,044 48 Updated Nov 23, 2024

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Rust 1,908 45 Updated Jul 29, 2024

An HTTP/1.1 server for zig

Zig 599 43 Updated Nov 23, 2024

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Rust 27,120 2,494 Updated Nov 21, 2024

A Python Library for Outlier and Anomaly Detection, Integrating Classical and Deep Learning Techniques

Python 8,598 1,369 Updated Nov 12, 2024

A workbench for writing toy implementations of distributed systems.

Clojure 3,078 189 Updated Aug 13, 2024

An educational machine learning library.

Python 357 19 Updated Nov 18, 2024

A fast and ergonomic concurrent hash-table for read-heavy workloads.

Rust 585 10 Updated Nov 15, 2024

llama3 implementation one matrix multiplication at a time

Jupyter Notebook 13,757 1,113 Updated May 23, 2024

Peace of mind from prototype to production

Elixir 21,446 2,875 Updated Nov 19, 2024

Creating beautiful plots of data maps

Python 779 50 Updated Nov 18, 2024

Python and JavaScript bindings for calling the Earth Engine API.

JavaScript 2,696 975 Updated Nov 20, 2024

A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

Jupyter Notebook 10,541 1,526 Updated Aug 8, 2024

A Python library for fast, interactive geospatial vector data visualization in Jupyter.

Python 645 33 Updated Nov 22, 2024

Inpla: Interaction nets as a programming language (the current version)

Yacc 279 8 Updated Oct 30, 2024

interative assembly shell written in rust

Rust 323 19 Updated Aug 19, 2024

Rust bindings for the C++ api of PyTorch.

Rust 4,356 348 Updated Nov 18, 2024

Internet search engine for text-oriented websites. Indexing the small, old and weird web.

HTML 1,063 28 Updated Nov 23, 2024

Neural Networks: Zero to Hero

Jupyter Notebook 11,942 1,505 Updated Aug 18, 2024

Inference Llama 2 in one file of pure C

C 17,484 2,094 Updated Aug 6, 2024

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

Rust 13,502 1,283 Updated Nov 11, 2024

A Gleam web framework for building HTML templates, single page applications, and real-time server components.

Gleam 1,194 75 Updated Nov 19, 2024

Open Source Computer Vision Library

C++ 79,251 55,842 Updated Nov 22, 2024

Gin is a HTTP web framework written in Go (Golang). It features a Martini-like API with much better performance -- up to 40 times faster. If you need smashing performance, get yourself some Gin.

Go 79,113 8,030 Updated Nov 15, 2024
Next