#jcouyang’s Activity
Explore tagged Tumblr posts
Visit Tumblr Blog
Explore Tumblr blogs with no restrictions, modern design and the best experience.
Last Seen Tumblr Blogs
Fun Fact
The most popular pages on Tumblr are about Minecraft, GIFs, and David J. Peterson.
Link
jcouyang starred github/semantic Nov 3, 2020
github/semantic
Parsing, analyzing, and comparing source code across many languages
Haskell 7.8k 13 issues need help Updated Nov 3
1 note
·
View note
Link
jcouyang starred edwinb/Idris2 Jul 9, 2019
edwinb/Idris2
A dependently typed programming language, a successor to Idris
Idris 262 Updated Jul 9
0 notes
Link
jcouyang starred github/semantic Nov 3, 2020
github/semantic
Parsing, analyzing, and comparing source code across many languages
Haskell 7.8k 13 issues need help Updated Nov 3
0 notes
Link
jcouyang starred n8n-io/n8n Oct 30, 2020
n8n-io/n8n
Free and open fair-code licensed node based Workflow Automation Tool. Easily automate tasks across different services.
TypeScript 10.1k Updated Oct 30
0 notes
Link
jcouyang starred travisbrown/dhallj Sep 30, 2020
travisbrown/dhallj
Dhall for Java
Java 146 Updated Sep 30
0 notes
Link
jcouyang starred mickeynp/ligature.el Sep 1, 2020
mickeynp/ligature.el
Display typographical ligatures in Emacs
Emacs Lisp 18 Updated Sep 1
0 notes
Link
jcouyang starred justinwoo/easy-dhall-nix Jul 24, 2020
justinwoo/easy-dhall-nix
Derivations for easily downloading Dhall binaries and putting them to use.
Nix 17 Updated Jul 24
0 notes
Link
jcouyang starred digitallyinduced/ihp Jul 13, 2020
digitallyinduced/ihp
λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.
Haskell 471 Updated Jul 13
0 notes
Link
jcouyang starred dhall-lang/dhall-kubernetes Jul 10, 2020
dhall-lang/dhall-kubernetes
Typecheck, template and modularize your Kubernetes definitions with Dhall
Dhall 363 2 issues need help Updated Jul 10
0 notes
Link
jcouyang starred aws-samples/bring-your-own-data-labs Jun 28, 2020
aws-samples/bring-your-own-data-labs
Bring your own data Labs: Build a serverless data pipeline based on your own data
9 Updated Jun 28
0 notes
Link
jcouyang starred haskell-servant/servant May 31, 2020
haskell-servant/servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!
Haskell 1.4k 36 issues need help Updated May 31
0 notes
Link
jcouyang starred target/lorri May 23, 2020
target/lorri
Your project's nix-env
Rust 596 Updated May 23
0 notes
Link
jcouyang starred TimWSpence/cats-stm May 21, 2020
TimWSpence/cats-stm
An STM implementation for Cats Effect
Scala 71 Updated May 21
0 notes
Link
jcouyang starred d2l-ai/d2l-en May 10, 2020
d2l-ai/d2l-en
An interactive deep learning book with code, math, and discussions, based on the NumPy interface.
Python 4.8k Updated May 10
0 notes
Link
jcouyang starred valskalla/odin Apr 23, 2020
valskalla/odin
Fast & Functional logger in Scala
Scala 138 1 issue needs help Updated Apr 23
0 notes
Link
jcouyang starred fused-effects/fused-effects Apr 11, 2020
fused-effects/fused-effects
A fast, flexible, fused effect system for Haskell
Haskell 421 4 issues need help Updated Apr 11
0 notes