Coder Social home page Coder Social logo

Filippo Sestini's Projects

event icon event

Monoidal, monadic and first-class events.

flight-routes icon flight-routes

Big Data tool that analyzes raw ADS-B data to determine standard flight routes between pairs of airports. Written in Apache Spark, runs on Hadoop clusters.

groupoid-in-sett icon groupoid-in-sett

Formalization of the groupoid model of type theory in a setoid metatheory

hs2agda-plugin icon hs2agda-plugin

GHC Core plugin for lightweight formal verification of Haskell programs via Agda.

hydrus-api icon hydrus-api

type-safe Haskell bindings to the Hydrus Network Client API

infinitary-iit-encoding icon infinitary-iit-encoding

Agda formalization of a reduction of infinitary inductive-inductive types to inductive families in intensional Martin-Löf type theory.

jandom icon jandom

An abstract-interpretation based static analyzer written in Scala.

lazy-fp icon lazy-fp

Instructional (and WIP) lazy purely-functional programming language with pattern matching, based on graph reduction

macscript icon macscript

Mac OS desktop automation library, written in Haskell

microlens icon microlens

A lightweight (but compatible with ‘lens’) lenses library

mokuro-tui icon mokuro-tui

Simple Terminal User Interface (TUI) for the mokuro manga OCR tool.

mokuro2pdf icon mokuro2pdf

Create pdf files with selectable text from Mokuro's manga html overlay

mu-kanren icon mu-kanren

Haskell implementation of the μKanren logic programming language.

nbe-mltt-wes icon nbe-mltt-wes

Normalization by Evaluation for a version of Martin-Löf Type Theory with weak explicit substitutions.

nbe-weak-stlc icon nbe-weak-stlc

Agda formalization of normalization by evaluation for the confluent simply-typed weak lambda-calculus.

nbe-weak-systemt icon nbe-weak-systemt

Normalization by Evaluation for a version of System T with combinatory weak conversion.

onyx-wm icon onyx-wm

Minimal tiling window manager for Mac OS

preorder-tt icon preorder-tt

Just a playground for testing ideas on preorder type theory (aka directed type theory for dummies)

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.