Eric Conlon's Projects
Abstract Binding Trees in Scala
A simple yet powerful menu library for Adafruit\'s LCD plates
Wrappers to derive-via Aeson ToJSON/FromJSON typeclasses
A plugin for Apache Airflow that exposes rest end points for the Command Line Interfaces
Akka gRPC
making data science easy and safe with data frames in haskell
Some custom package definitions for Arch Linux
Apache Arrow is a cross-language development platform for in-memory data. It specifies a standardized language-independent columnar memory format for flat and hierarchical data, organized for efficient analytic operations on modern hardware. It also provides computational libraries and zero-copy streaming messaging and interprocess communication. Languages currently supported include C, C++, Java, JavaScript, Python, and Ruby.
Course project for CPSC 554X
A "blank" Haskell project configured to use Stack with Turtle and some other libraries.
empty purescript project, fork and hack
Fill-in-the-blanks - A library factoring out substitution from ASTs
A simple recipe for Bottle.py + Twitter Bootstrap + Heroku
Tying knots in functors
Official upstream development repository for Cabal and cabal-install
A statically typed lisp, without a GC, for real-time applications.
A CMake-based build system that is used to build all packages in ROS.
Building blocks for a GHCi-like REPL with colon-commands
experiments with docker and ansible
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Some Project Euler solutions in C++
Only the lecture code for CPSC 312
CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/
Curl is a tool and libcurl is a library for transferring data with URL syntax, supporting FTP, FTPS, HTTP, HTTPS, GOPHER, TFTP, SCP, SFTP, TELNET, DICT, LDAP, LDAPS, FILE, IMAP, SMTP, POP3, RTSP and RTMP. libcurl offers a myriad of powerful features
Binary parsing and serialization with integrated size
dahdit-network