ekmett

ekmett's Stars

• real-logic/aeron

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

  Language:Java7.5k358793897

• ashima/webgl-noise

  Procedural Noise Shader Routines compatible with WebGL

  Language:C++2.8k10223303

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k120634360

• yishn/tikzcd-editor

  A simple visual editor for creating commutative diagrams.

  Language:JavaScript1.9k2949100

• aras-p/glsl-optimizer

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

  Language:C++1.7k12075423

• mitsuba-renderer/enoki

  Enoki: structured vectorization and differentiation on modern processor architectures

  Language:C++1.3k458594

• pcapriotti/optparse-applicative

  Applicative option parser

  Language:Haskell91519292116

• herbie-fp/herbie

  Optimize floating-point expressions for accuracy

  Language:HTML7743313634

• barrucadu/markov

  Markov chain text generator, as used for KingJamesProgramming

  Language:Python45925870

• tcpexmachina/remy

  Language:C++403542078

• BrianSharpe/GPU-Noise-Lib

  Optimized GPU noise functions and utilities

  Language:C36424137

• ermine-language/ermine

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

  Language:Haskell219342117

• ot/succinct

  A collection of succinct data structures

  Language:C++19614217

• mikeizbicki/HerbiePlugin

  GHC plugin that improves Haskell code's numerical stability

  Language:Haskell19110205

• schmelczer/sdf-2d

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

  Language:TypeScript107210

• atzeus/reflectionwithoutremorse

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

  Language:Haskell6611711

• ot/path_decomposed_tries

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

  Language:C++5512110

• syoyo/nanovg-nanort

  NanoRT(SW ray tracer) backend for NanoVG

  Language:C516210

• ProjectMAC/propagators

  The propagator system

  Language:Scheme411200

• cokmett/cokmett

  Because Kmett is not expressive enough. You need CoKmett!

  35542

• jkoppel/ecta

  Language:Haskell33612

• sarachour/legno-compiler

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

  Language:Python30303

• gbaz/works-in-progress

  scraps and bits and bobs

  Language:TeX14301

• ekmett/compensated

  Compensated floating-point arithmetic

  Language:Haskell13141110

• ekmett/log-domain

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

  Language:Haskell12141713

• duairc/implicit-params

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

  Language:Haskell11400

• sarahzrf/coq-depleted

  Language:Coq6300

• keithw/ahab

  MPEG-2 done right.

  Language:C++5301

• lens/lens-core

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

  Language:Haskell52701

• mcorley/partially-deamortized-pma

  Implementation of a partially deamortized packed-memory array.

  Language:C++520