Coder Social home page Coder Social logo

About Me

He/Him

I'm a programmer living in Brisbane, Australia.

I enjoy building things that make people more effective. I'm particularly passionate about developer tooling because it contributes to a cycle of self improvement within software development.

Projects

My 'academic' roots lie in programming language theory and type theory. As a result, all of my biggest personal projects have been programming languages, or programming language related. See my 'pinned' repositories for a selection of my favourite projects.

Isaac Elliott's Projects

2d-zipper icon 2d-zipper

Zipper into a list-of-list, providing efficient movement commands

beam icon beam

A type-safe, non-TH Haskell SQL library and ORM

bfh icon bfh

Brainfuck, in Haskell - Code review

bide icon bide

An attempt at understanding Conor McBride's bidirectional typing discipline

binders.rs icon binders.rs

A Rust name binding library inspired by the theory of Nominal Sets.

bitset icon bitset

treat `Vector Word64` as a set of natural numbers

blaze-html icon blaze-html

A blazingly fast HTML combinator library for Haskell.

blaze-markup icon blaze-markup

Core modules for a blazing fast markup combinator library

break icon break

brick breaking game written in C++ using SFML2

categorial-syntax icon categorial-syntax

Experiments with parsing categorial grammars https://en.wikipedia.org/wiki/Categorial_grammar

cbpv icon cbpv

A usable type system for call by push-value

ccc icon ccc

Using lambda calculus as the syntax for cartesian closed categories, ala Conal Elliott.

certified-lc icon certified-lc

use coq to verify stlc in a way that extracts to good haskell

citools icon citools

Tools for crafting good CI pipelines.

classy-lc icon classy-lc

Modular lambda calculus using Backpack and prisms

columnize icon columnize

Takes newline-separated items on stdin and prints them in columns on stdout.

como icon como

Contextual Modal Type Theory, formalization and implementation

date icon date

Haskell library for working with dates

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.