Discover @conal Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

R

Go

OCaml

Groovy

Swift

C#

TypeScript

Java

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Python

Scala

Shell

JavaScript

Groovy

Dart

PowerShell

Racket

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇪🇹 Ethiopia

🇵🇱 Poland

🇮🇪 Ireland

🇾🇪 Yemen

🇵🇦 Panama

🇨🇭 Switzerland

🇰🇼 Kuwait

🇱🇧 Lebanon

All Countries Compare Countries

Conal Elliott (@conal)

conal

Stars
2,338
Global Rank 13,007 (Top 0.5 %)
Followers 966
Following 5
Registered about 14 years ago
Most used languages

Haskell
52.4 %

TeX
24.3 %

Agda 17.5 %

Makefile 1.9 %

Perl
1.0 %

Emacs Lisp
1.0 %

HTML
1.0 %

JavaScript
1.0 %
Location 🇺🇸 United States
Country Total Rank 4,357
Country Ranking

Agda 1

TeX
25

Haskell
48

Makefile 544

Emacs Lisp
1,095

Perl
3,582

HTML
6,101

talk-2015-essence-and-origins-of-frp

A keynote talk for LambdaJam 2015 (July 15--16)

talk-2018-essence-of-ad

The simple essence of automatic differentiation

lambda-ccc

Convert lambda expressions to CCC combinators

talk-2014-lambdajam-denotational-design

Talk material for LambdaJam 2014/2015 on denotational design

talk-2014-bayhac-denotational-design

Denotational Design: from programs to meanings

denotational-hardware

Denotational hardware design in Agda

MemoTrie

Trie-based memo functions

Collaboration

Play/learn/work with me

talk-2021-can-tensor-programming-be-liberated

Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"

talk-2015-haskell-to-hardware

From Haskell to Hardware via CCCs

talk-2018-deep-learning-rebooted

"A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin

linalg

Linear algebra after Fortran

talk-2016-generic-fft

A talk on type-generic FFT in Haskell

vector-space

Vector & affine spaces, linear maps, and derivatives

paper-2021-language-derivatives

felix

Agda category theory library for denotational design

paper-2020-higher-order-ad

Higher-order, higher-order automatic differentiation

Fran

First Haskell implementations of Fran/FRP

circat

A categorical framework for circuit construction

talk-2020-calculating-compilers-categorically

talk-2015-more-elegant-frp

A more elegant specification for FRP

shady-gen

Functional GPU programming - DSEL & compiler

essence-of-ad

Paper: The simple essence of automatic differentiation

2017-talk-teaching-new-tricks-to-old-programs

Keynote talk for Lambda Jam 2017 in Sydney

convolution-paper

Generalized Convolution and Efficient Language Recognition

agda-machines

Denotational-categorical design of verified hardware in Agda

quotes

My favorite quotes

total-map

Finitely represented /total/ maps

denotational-arithmetic

Puzzle: arithmetic via denotational design

talk-2016-generic-parallel-scan

Talk on generic parallel scan

agda-generic-parallel

Generic parallel algorithms in Agda

linear-map-gadt

Linear maps as a GADT

unamb

Unambiguous choice

talk-2023-galilean-revolution

A Galilean revolution for computing: Unboundedly scalable reliability and efficiency

shady-graphics

Functional GPU programming - graphics

calculating-compilers-agda

Calculating compilers categorically, in Agda

shaped-types

Experimenting with statically shaped types, GHC specialization, and reification

functor-combo

Functor combinators with tries & zippers

TypeCompose

Type composition classes & instances & misc

talk-2017-generic-functional-parallel

A talk for ICFP 2017

generic-parallel-functional

Paper on generic parallel functional programming

DependentTypesAtWork-exercises

Exercises from "Dependent Types at Work"

ty

Typed type representations and equality proofs

generic-fft

FFTs for functor combinators

talk-2016-fp-parallel

Intro talk on functional programming, emphasizing parallelism

shady-examples

Playing with shady

data-treify

Reify a recursive data structure into an explicit graph.

NumInstances

Instances of numeric classes for functions and tuples

type-unary

Type-level and typed unary natural numbers, vectors, inequality proofs

reify-core-examples

Examples of core reification and Haskell-to-hardware compilation

shady-render

Functional GPU programming - rendering

numbers-vectors-trees

code for a blog post series

felix-boolean

talk-2012-reimagining-matrices

A talk deriving matrix addition and multiplication from semantic specification

lub

information operators: least upper bound (lub) and greatest lower bound (glb)

shady-tv

Functional GPU programming - user interfaces

agda-linear

Denotative linear algebra in Agda

graphics-concat

Graphics via compiling-to-categories

gitit-to-blog

Convert a gitit-friendly markdown page to HTML, including various transformations

reification-rules

GHC Core reification via rules

talk-2012-folds-and-unfolds

Talk on folds & unfolds (and combinations) for general algebraic data types

TV

Tangible Values -- composable interfaces

talk-2014-elegant-memoization

A talk: "Elegant memoization"

adders-and-arrows

Composing adders with commutative diagrams

agda-fft

Verified FFT in Agda

talk-2017-compiling-to-categories

A talk for ICFP 2017

uniform-pair

Uniform pairs with class instances

agda-cat-linear

Linear map categories in Agda

contractive

Experiments in contractivity and fixed points

ordinal-gitit-plugin

Gitit plugin: Format ordinals like 21st

DeepArrow

Arrows for "deep application"

simple-parallel

Simple model for parallel computation

.emacs.d

My Emacs environment

nim

The game of Nim in Agda

Boolean

Generalized booleans

agda-play

Miscellaneous experiments in Aga

gitit-birdtrack-shift

Gitit plugin: deconfuse HTML vs inverse-birdtrack

hermit-extras

Some helpers for GHC Core and HERMIT

plugin-import-id

GHC plugin experiment

equation-transfer

Transferring equational properties backward through homomorphisms

fix-symbols-gitit

Gitit plugin: Turn some Haskell symbols into Greek and pretty math symbols.

gitit-comment

Gitit plugin: remove comments like

ftree

Depth-typed functor-based trees, both top-down and bottom-up

Fran-via-deepfire

Functional Reactive Animation

type-encode

HERMIT-based GHC plugin: convert data types to sum-of-products form

webgl-experiment-1

Some experiments with WebGL, toward resurrecting Shady

GtkTV

Gtk-based GUIs for Tangible Values

applicative-numbers

Applicative-based numeric instances

GtkGLTV

OpenGL support for Gtk-based GUIs for Tangible Values

state-trie

Memoizing state monad

talk-2012-linear-timing

Talk for IFIP Working Group 2.8

agda-toggle

Simple experiments with recursively defined "circuits"

ShowF

Show for * -> *

to-haskell

A type class and some utilities for generating Haskell code

reify-core

Reify GHC Core into a GADT for further processing

talk-2013-understanding-parallel-scan

Talk: "Understanding efficient parallel scan"

pixie

Circuit pictures

monomorph

A GHC plugin for monomorphization

agda-latex

Template for Agda-based talk and paper

dict-test

Test HERMIT-based dictionary construction