ps-feng's Stars
JorgeCastilloPrz/ArrowAndroidSamples
Functional Programing Android architecture using http://arrow-kt.io/
skylot/jadx
Dex to Java decompiler
unisonweb/unison
A friendly programming language from the future
pedrovgs/KotlinSnapshot
Snapshot Testing framework for Kotlin.
FStarLang/FStar
A Proof-oriented Programming Language
llvm-hs/llvm-hs
Haskell bindings for LLVM
microsoft/vscode
Visual Studio Code
acdlite/recompose
A React utility belt for function components and higher-order components.
keremk/movie-service
A sample mock movie service that is intended frontend clients.
idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
mrkkrp/megaparsec
Industrial-strength monadic parser combinator library
sindresorhus/quick-look-plugins
List of useful Quick Look plugins for developers
sdiehl/kaleidoscope
Haskell LLVM JIT Compiler Tutorial
jroweboy/ArnoldC.js
A javascript port of the Arnold Schwarzenegger based programming language
simonh1000/elm-webpack-starter
Elm 0.19.1, Webpack 5 & Tailwind
ghc/ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
haskell/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
elm/compiler
Compiler for Elm, a functional language for reliable webapps.
gothinkster/realworld
"The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more
quchen/articles
Miscellaneous articles. The readme is the table of contents.
lhartikk/ArnoldC
Arnold Schwarzenegger based programming language
RomelTorres/alpha_vantage
A python wrapper for Alpha Vantage API for financial data.
alexjlockwood/avocado
🥑 Vector Drawable optimization tool 🥑
JakeWharton/SdkSearch
An Android app and Chrome extension for searching the Android SDK documentation.
zalando-nakadi/nakadi-ui
Official Nakadi user interface.
RayDeCampo/java-xirr
Java implementation of xirr with bonus Newton-Raphson implementation
kipcole9/money
Elixir implementation of Money with Currency
bencheeorg/benchee
Easy and extensible benchmarking in Elixir providing you with lots of statistics!
Maximus5/ConEmu
Customizable Windows terminal with tabs, splits, quake-style, hotkeys and more
absinthe-graphql/absinthe
The GraphQL toolkit for Elixir