8000 DnMllr (Daniel Miller) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View DnMllr's full-sized avatar

Block or report DnMllr

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

High-performance event store for Dynamic Consistency Boundaries

Rust 90 10 Updated Nov 12, 2026

Language mixing functional programming and Ambient Calculus

OCaml 13 Updated Dec 10, 2024

Safe, portable, high performance compute (GPGPU) kernels.

Rust 263 16 Updated Oct 13, 2026

Axum middleware to use Accept and Content-Type headers to serialize with different formats

Rust 18 5 Updated Oct 22, 2025

Flow-based Application Layer Framework

Elixir 211 6 Updated May 25, 2024

Open source machine learning accelerators

Scala 399 35 Updated Mar 24, 2024

Io, the language, in Go, the language

Go 82 4 Updated Feb 25, 2023
TeX 352 29 Updated Apr 19, 2018

A compiler for the 🎃 Spooky 😱 programming language 👻

OCaml 152 4 Updated Nov 9, 2018

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

Pony 6,222 440 Updated Nov 12, 2026

ATS2: Unleashing the Potentials of Types and Templates

ATS 401 59 Updated Nov 1, 2026

Set of window manipulation tools

C 729 28 Updated Jul 1, 2022

Go-style concurrency in C

C 3,182 220 Updated Feb 9, 2021

Open source toolchain for the TI Tiva C dev board

C 187 85 Updated Jan 18, 2017

zsh http server

Shell 59 4 Updated Oct 6, 2025

Papers from the computer science community to read and discuss.

Shell 111,457 6,483 Updated Oct 28, 2026

A strongly-typed language that compiles to JavaScript

Haskell 8,921 574 Updated Nov 12, 2026

Faster and leaner Backbone for your HTML5 apps

JavaScript 869 41 Updated May 7, 2021
JavaScript 1,743 249 Updated Oct 19, 2021

The Mercury logic programming system.

Mercury 1,081 72 Updated Nov 12, 2026

The Z3 Theorem Prover

C++ 12,925 1,729 Updated Nov 12, 2026

Next-generation DOM manipulation

JavaScript 5,909 392 Updated May 22, 2024

Pure C Game Engine

C 2,007 214 Updated Jun 3, 2024

The open-source database for the realtime web.

C++ 27,010 1,850 Updated Nov 9, 2026

Updated LazyK source distribution

Scheme 19 4 Updated Nov 20, 2025

A monadic LL(infinity) parser combinator library for javascript

JavaScript 1,274 128 Updated Apr 14, 2023

Serious functional programming library for JavaScript.

JavaScript 588 15 Updated Aug 20, 2014

A tutorial for using the modern shader pipeline of OpenGL with SDL 2 in Haskell

Haskell 6 Updated Sep 20, 2014

Haskell bindings to the SDL2 library

Haskell 377 88 Updated Aug 31, 2026

Expressive middleware for node.js using ES2017 async functions

JavaScript 35,681 3,250 Updated Nov 3, 2026
Next
0