danysdragons's starred repositories
redux-devtools-extension
Redux DevTools extension.
example-code
Example code for the book Fluent Python, 1st Edition (O'Reilly, 2015)
Idris2-boot
A dependently typed programming language, a successor to Idris
ghostwheel
Hassle-free inline clojure.spec with semi-automatic generative testing and side effect detection
react-quickly
Source code for React Quickly [Manning, 2017]: Painless Web Apps with React, JSX, Redux, and GraphQL 📕
programming-typescript-answers
Official answers for exercises from Orielly's Programming TypeScript
PurefunctionPipelineDataflow
My Blog: The Math-based Grand Unified Programming Theory: The Pure Function Pipeline Data Flow with principle-based Warehouse/Workshop Model
FSharp.Data.GraphQL
FSharp implementation of Facebook GraphQL query language.
reasonml-idea-plugin
ReasonML Language Plugin for IDEA
FSharp.Data.SqlClient
A set of F# Type Providers for statically typed access to MS SQL database
letters-social
Sample project for React in Action (https://social.react.sh)
fsharpforfunandprofit.com
Source for fsharpforfunandprofit.com. For typos, please send a PR or create an issue. Thanks!
FSharp.FGL
Functional graph library for F#
MiniKnight
A pixel-art platformer in F#, where you must fight your way to the portal, collecting coins and slaying orcs along the way!
clj-wordnet
An interface to the WordNet database using idiomatic Clojure
idris-insertion-sort
Provably correct implementation of insertion sort in Idris.
joyful_clojure
Sample code and projects for A Joyful Introduction To Clojure