码农の道具箱

日照香炉生紫烟 代码就是我的天

[manong-toolkit]

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

[manong-toolkit]

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

[manong-toolkit]

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

[manong-toolkit]

jcouyang starred travisbrown/dhallj Sep 30, 2020

travisbrown/dhallj

Dhall for Java

Java 146 Updated Sep 30

[manong-toolkit]

jcouyang starred mickeynp/ligature.el Sep 1, 2020

mickeynp/ligature.el

Display typographical ligatures in Emacs

Emacs Lisp 18 Updated Sep 1

[manong-toolkit]

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

[manong-toolkit]

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

[manong-toolkit]

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

[manong-toolkit]

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

[manong-toolkit]

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

[manong-toolkit]

jcouyang starred target/lorri May 23, 2020

target/lorri

Your project's nix-env

Rust 596 Updated May 23

[manong-toolkit]

jcouyang starred TimWSpence/cats-stm May 21, 2020

TimWSpence/cats-stm

An STM implementation for Cats Effect

Scala 71 Updated May 21

[manong-toolkit]

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

[manong-toolkit]

jcouyang starred valskalla/odin Apr 23, 2020

valskalla/odin

Fast & Functional logger in Scala

Scala 138 1 issue needs help Updated Apr 23

[manong-toolkit]

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

[manong-toolkit]

jcouyang starred higherkindness/droste Apr 2, 2020

higherkindness/droste

recursion schemes for cats; to iterate is human, to recurse, divine

Scala 255 Updated Apr 2

[manong-toolkit]

jcouyang starred scalameta/munit Mar 27, 2020

scalameta/munit

Scala testing library with actionable errors and extensible APIs

Scala 78 1 issue needs help Updated Mar 27