fsestini Goto Github PK
Name: Filippo Sestini
Type: User
Company: Imandra
Location: United Kingdom
Name: Filippo Sestini
Type: User
Company: Imandra
Location: United Kingdom
Programming library for Agda
Recursion schemes in Agda via sized types.
Monoidal, monadic and first-class events.
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.
Personal website.
Formalization of the groupoid model of type theory in a setoid metatheory
Guess-A-Number game in Haskell using Polysemy
The Haskell LaTeX library.
GHC Core plugin for lightweight formal verification of Haskell programs via Agda.
type-safe Haskell bindings to the Hydrus Network Client API
Agda formalization of a reduction of infinitary inductive-inductive types to inductive families in intensional Martin-Löf type theory.
An abstract-interpretation based static analyzer written in Scala.
Instructional (and WIP) lazy purely-functional programming language with pattern matching, based on graph reduction
Haskell bindings to C-based Mac OS SDK frameworks
Mac OS desktop automation library, written in Haskell
Query manga-ocr via POST requests.
A lightweight (but compatible with ‘lens’) lenses library
mokuro's OCR functionality as a single-page webapp
Simple Terminal User Interface (TUI) for the mokuro manga OCR tool.
Create pdf files with selectable text from Mokuro's manga html overlay
Haskell implementation of the μKanren logic programming language.
multiset haskell package
Normalization by Evaluation for a version of Martin-Löf Type Theory with weak explicit substitutions.
Agda formalization of normalization by evaluation for the confluent simply-typed weak lambda-calculus.
Normalization by Evaluation for a version of System T with combinatory weak conversion.
Minimal tiling window manager for Mac OS
Just a playground for testing ideas on preorder type theory (aka directed type theory for dummies)
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.