duobei Goto Github PK
Name: Luca Zhang
Type: User
Location: earth
Name: Luca Zhang
Type: User
Location: earth
Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
Katas at Codewars
Functional Programming Course
A composable build system for OCaml.
A gem-based responsive simple texture styled Jekyll theme.
A collaborative bibliography of work related to the theory and practice of computational effects
The content behind Elixir School
Ecto auditing library that transparently tracks changes and can revert them.
Exercises for the Haskell Beginners 2022 course
Code challenges to solve with Haskell
This course is designed to teach students Haskell from zero to everything needed to work with Marlowe and Plutus. The course itself doesn't contain content specific to Marlowe or Plutus. So, if you want to use it to learn Haskell for other purposes, you can! 😃
A List of Foundational Haskell Papers
Haskell Programming From First Principles - Follow-up Resources
Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala
A collection of resources for learning type theory.
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
A style guide for OCaml
Optics as an abstract interface
Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
Persistence interface for Haskell allowing multiple storage methods.
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.