andreasabel Goto Github PK
Name: Andreas Abel
Type: User
Company: Chalmers and Gothenburg University
Location: Gothenburg, Sweden
Name: Andreas Abel
Type: User
Company: Chalmers and Gothenburg University
Location: Gothenburg, Sweden
Add ACID guarantees to any serializable Haskell data structure
Github actions for Haskell CI
Time-varying values with start and end times.
Attribute Grammars on Graphs
Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list
The Agda Universal Algebra Library (html docs available at the url below)
Formalisation of automata in Agda
Benchmarking tool for compile-time performance of Agda programs
A verified Agda implementation of the Earley parser for context-free languages
Agda is a dependently typed programming language / interactive theorem prover.
Statistics from the Agda issue tracker
Relational algebra implementation in Agda with simple bindings to SQLITE
Notes and prototypes concerning Agda's scope checker
The Agda standard library
Simple conversion from Agda text to literate Agda text.
A lexical analyser generator for Haskell
ANSI terminal support for Haskell, with Windows compatibility
Algebraic theories with contexts, in cubical Agda
Agda and LaTeX sources for APLAS 2014 paper on strong normalization of guarded STLC
Haskell's applicative functors are multi-category functors
Miscellaneous articles, mostly Haskell related.
Run IO operations asynchronously and wait for their results
Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
A fast Haskell library for parsing ByteStrings
💫 A curated list of awesome resources for the Haskell Cabal build tool.
Shield.io style badge generator
Fast base64 encoding and decoding for Haskell.
Normalization for bicartesian closed categories
Efficient serialization of Haskell values to lazy bytestrings with a large average chunk size.
A blazingly fast HTML combinator library for Haskell.
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.