vapourismo Goto Github PK
Name: Ole
Type: User
Bio: Love static typing, functional programming and solving big problems by typing things into a computer.
Location: London
Blog: https://ole.lol
Name: Ole
Type: User
Bio: Love static typing, functional programming and solving big problems by typing things into a computer.
Location: London
Blog: https://ole.lol
Github actions for Haskell CI
Efficient, pure binary serialisation using ByteStrings in Haskell.
Read and write values of types that implement Binary from and to Handles
A container-/cgroup-aware substitute for the GHC RTS `-N` flag
Declarative definition of command line interfaces for OCaml
🌽 Core types and functions that power the Haskell `co-log` implementation
A simple, stateless NixOS deployment tool
A streaming data library
A simple multi-profile Nix-flake deploy tool.
A configuration language guaranteed to terminate
A composable build system for OCaml.
KNX ETS exports parser in Go
A simple expressions language with polymorphic extensible row types
HACL*, a formally verified cryptographic library written in F*
Write Sublime Text plugins in Haskell
A Redis client library for Haskell.
A post-modern modal text editor.
Hermit for Rust.
Haskell development tool
Fixes your indentation
Spatial efficient monospace font family for programming. Built from code.
A Git-compatible VCS that is both simple and powerful
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.