well-typed Goto Github PK
Name: Well-Typed LLP
Type: Organization
Bio: The Haskell Consultants
Name: Well-Typed LLP
Type: Organization
Bio: The Haskell Consultants
Online appendix for "Alligator Collector: A Latency-Optimized Garbage Collector for Functional Programming Languages"
More strongly typed variant of the ixset Haskell package
Generic JSON (de)serialization using generics-sop
Domain Specific Languages for Computational Law
Library to support efficient compilation of large records (linear in the number of record fields)
Slides and code for the ZuriHac 2023 talk on Lazy Evaluation
Computing lenses generically using generics-sop
A small package that demonstrates how to use LiquidHaskell as a GHC plugin
Small, high-security cryptographic signing library
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
Source code for the memory profiling webinar livestreamed at Dec 1, 2022
Materials for the MuniHac 2022 "Profiling Memory Usage with eventlog2html and ghc-debug" workshop.
Filopodia open-source monorepo
Optics as an abstract interface
Materials for the MuniHac 2023 workshop on parser combinators
An optimizer for untyped plutus core
A generic pretty-printer using generics-sop
Examples of using the proposed private dependencies feature in Cabal
Demo code for the blog post "An in-depth look at quickcheck-state-machine"
Support for lockstep-style testing using quickcheck-dynamic
Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).
Bindings to the C API Google's Snappy: A fast compression library
Get access to Haddocks in `generics-sop` style generic functions
GHC plugin for surgical specialization
Materials for the BOBkonf 2024 tutorial on staging
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.