jonsterling Goto Github PK
Name: Jon Sterling
Type: User
Company: @logsem
Bio: computer scientist and semanticist
Location: Aarhus, DK
Jon Sterling's Projects
hs-aws-kinesis
Haskell Bindings for AWS Kinesis
hs-aws-kinesis-client
A producer/consumer client library for Kinesis
hs-aws-kinesis-reshard
A Kinesis resharding client
hs-aws-lambda
Haskell bindings for AWS Lambda
hs-configuration-tools
Tools for defining and parsing configurations of Haskell applications
hs-data-carousel
A rotating sequence type
hs-hoist-error
Some conveniences for hoisting errors into monads
hs-monad-open
Open-ended computation for when you need it (open recursion)
hs-stm-queue-extras
Extra utilities for STM queues
hs-trace
A monad transformer for tracing error provenience
hs-yet-another-logger
Haskell logging framework with a focus on flexibility and performance
idris-dev
A Dependently Typed Functional Programming Language
independence-of-the-continuum-hypothesis
Some notes on the independence of the continuum hypothesis.
itt-bidirectional
A bidirectional type checker for intensional constructive type theory (with thanks to Stephanie Weirich).
jekyll-sheafy
Generate Gerby-like websites with Jekyll!
jonprl
An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]
jonprl-mode
An Emac major mode for writing JonPRL code
kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
kripke-playground
a little playground for kripke semantics in Agda
lambdaconf-2015
The official supporting materials repository for LambdaConf 2015.
lambdapi
An in-progress port of LambdaPi to Standard ML
language-sml
Standard ML language support for Atom
latex-diagrams
An extension of Paul Taylor's excellent diagrams package with an improved default arrow head, using METAFONT
latex-dieudonne
A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.
latex-ebproof-rules
A package to support combining ebproof with mathpartir
latex-macros
My personal macros
latex3-jmsdelim
latexrun
A 21st century LaTeX wrapper
lcf-sequent-calculus-example
A self-contained implementation of forward and backward inference for intuitionistic propositional logic
lean-syntax
just learning to use lean
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
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.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.