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

Organizations

@scalaz @haskell @haskell-opengl @lens @analytics @ermine-language

Block or report ekmett

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users. 10000

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
Haskell 35 2 Updated Apr 14, 2024

A graphics library to enable the real-time rendering of 2D signed distance fields on the web.

TypeScript 110 1 Updated Jan 29, 2022
Coq 6 Updated Jun 14, 2021

a compiler for the Apollo project that targets the HCDCv2 Analog Device

Python 30 3 Updated Aug 13, 2021

Enoki: structured vectorization and differentiation on modern processor architectures

C++ 1,285 94 Updated Feb 6, 2025

A simple visual editor for creating commutative diagrams.

JavaScript 1,940 103 Updated Oct 31, 2020

scraps and bits and bobs

TeX 14 1 Updated Jul 28, 2022

NanoRT(SW ray tracer) backend for NanoVG

C 52 11 Updated Mar 19, 2022

Optimize floating-point expressions for accuracy

HTML 808 40 Updated Jun 25, 2025

GHC plugin that improves Haskell code's numerical stability

Haskell 193 5 Updated Oct 6, 2015

Efficient reliable UDP unicast, UDP multicast, and IPC message transport

Java 7,815 941 Updated Jun 24, 2025

GLSL optimizer based on Mesa's GLSL compiler. Used to be used in Unity for mobile shader optimization.

C++ 1,758 427 Updated May 14, 2020

Optimized GPU noise functions and utilities

C 370 38 Updated Apr 8, 2014

Procedural Noise Shader Routines compatible with WebGL

C++ 2,890 305 Updated Nov 15, 2024

Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection

Haskell 66 11 Updated Oct 4, 2021

A textbook on informal homotopy type theory

TeX 2,082 370 Updated Jun 24, 2025

Because Kmett is not expressive enough. You need CoKmett!

35 2 Updated Oct 29, 2013

Markov chain text generator, as used for KingJamesProgramming

Python 458 66 Updated Sep 12, 2024

The propagator system

Scheme 41 Updated Nov 30, 2015

The Ermine Programming Language - Join us on irc.freenode.net #ermine

Haskell 222 17 Updated Aug 20, 2018

A collection of succinct data structures

C++ 203 17 Updated Jan 3, 2024

Implementation of the data structures described in the paper "Fast Compressed Tries using Path Decomposition".

C++ 56 10 Updated Jan 27, 2023

Named and unnamed implicit parameters with defaults (for Haskell).

Haskell 11 Updated Dec 22, 2013

Implementation of a partially deamortized packed-memory array.

C++ 6 Updated Apr 15, 2012
C++ 401 78 Updated May 22, 2018

MPEG-2 done right.

C++ 5 1 Updated Mar 13, 2015

This package provides log-domain floats, doubles and complex numbers for Haskell.

Haskell 12 13 Updated Oct 18, 2024

Compensated floating-point arithmetic

Haskell 13 10 Updated Oct 18, 2024

Applicative option parser

Haskell 939 120 Updated Jun 10, 2025

An old experimental, more portable, lens core library. This is no longer remotely current.

Haskell 5 1 Updated Dec 11, 2012
Next
0