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

Block or report dreamsmasher

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

A massively parallel, optimal functional runtime in Rust

Cuda 11,014 421 Updated Nov 21, 2024

Library for audio processing and synthesis

Rust 926 49 Updated Nov 18, 2024

A language with lexical effect handlers and lightweight effect polymorphism

Scala 359 35 Updated May 24, 2025

Haskell-style functional programming language running on Erlang VM.

Erlang 1,032 40 Updated Feb 3, 2022

Haptic input knob with software-defined endstops and virtual detents

C++ 20,459 1,169 Updated Feb 19, 2024

Rust VST3 and CLAP plugin framework and plugins - because everything is better when you do it yourself

Rust 2,131 178 Updated Apr 22, 2025

Atree provides scalable arrays and scalable ordered maps.

Go 43 14 Updated May 21, 2025

Messing around with delimited continuations, fibers, and algebraic effects

Rust 15 Updated Oct 2, 2021

⭐️ A friendly language for building type-safe, scalable systems!

Rust 19,311 819 Updated May 24, 2025

🚧 a work in progress effect system for Haskell 🚧

Haskell 557 18 Updated May 5, 2023

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

Common Lisp 7,328 713 Updated Oct 15, 2024

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

Rust 1,349 59 Updated Mar 6, 2025

A fast functional language based on two level type theory

Haskell 390 4 Updated Jan 6, 2023

Functional programming with fewer indirections

Haskell 765 25 Updated Aug 20, 2020

a better implementation of manivelle made in haskell

Haskell 7 Updated Dec 4, 2021

A multilingual package manager for Arch Linux and the AUR.

Haskell 1,816 116 Updated Jan 4, 2025

A cat(1) clone with wings.

Rust 52,696 1,293 Updated May 21, 2025

Kernel built with Corellium patch to support wifi on the MBP16,1

Shell 46 19 Updated Jan 17, 2022

A small macro for defining lazy evaluated static variables in Rust.

Rust 1,990 123 Updated Jan 29, 2025

Phantom: Persistent Operating System

C 913 61 Updated Dec 1, 2024
Rust 46 4 Updated Feb 16, 2021

Koka language compiler and interpreter

Haskell 3,501 179 Updated May 13, 2025

©️ Manager for license headers in source code files.

Haskell 48 3 Updated Jan 24, 2025

They see me rollin'. They're Heyting. -- Chamillionaire, 2005

Haskell 83 2 Updated Apr 12, 2021

ASCII-fied arrow notation.

Haskell 22 3 Updated Mar 23, 2024

A strongly-typed language that compiles to JavaScript

Haskell 8,722 569 Updated May 17, 2025

Official repo of the EVM LLVM project

LLVM 103 21 Updated Feb 22, 2022

65% keyboard assembled with only through hole components, including usb type-c

969 160 Updated Feb 3, 2024

A library for using traditional computed properties in JS

JavaScript 3 Updated Dec 12, 2020
JavaScript 1 Updated Dec 12, 2021
Next
0