danysdragons's starred repositories

redux-devtools-extension

Redux DevTools extension.

Language:JavaScriptLicense:MITStargazers:13485Issues:158Issues:679

example-code

Example code for the book Fluent Python, 1st Edition (O'Reilly, 2015)

Language:PythonLicense:MITStargazers:5541Issues:297Issues:26

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:5324Issues:204Issues:7444

prelude

Prelude is an enhanced Emacs 25.1+ distribution that should make your experience with Emacs both more pleasant and more powerful.

xtdb

An immutable database for application development and time-travel data compliance, with SQL and XTQL. Developed by @juxt

Language:ClojureLicense:MPL-2.0Stargazers:2500Issues:64Issues:2152

calva

Clojure & ClojureScript Interactive Programming for VS Code

Language:TypeScriptLicense:NOASSERTIONStargazers:1588Issues:27Issues:1631

book

V2 of Real World OCaml

Language:OCamlLicense:NOASSERTIONStargazers:1174Issues:46Issues:3070

Idris2-boot

A dependently typed programming language, a successor to Idris

Language:IdrisLicense:NOASSERTIONStargazers:903Issues:61Issues:185

next-jdbc

A modern low-level Clojure wrapper for JDBC-based access to databases.

Language:ClojureLicense:EPL-1.0Stargazers:753Issues:20Issues:223

ghostwheel

Hassle-free inline clojure.spec with semi-automatic generative testing and side effect detection

Language:ClojureLicense:EPL-2.0Stargazers:601Issues:19Issues:36

react-quickly

Source code for React Quickly [Manning, 2017]: Painless Web Apps with React, JSX, Redux, and GraphQL 📕

Language:JavaScriptLicense:MITStargazers:543Issues:36Issues:23

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.

Language:F#License:MITStargazers:395Issues:26Issues:173

incr_dom

A library for building dynamic webapps, using Js_of_ocaml.

Language:OCamlLicense:MITStargazers:376Issues:22Issues:16

reasonml-idea-plugin

ReasonML Language Plugin for IDEA

Language:JavaLicense:MITStargazers:335Issues:10Issues:377

orchard

A fertile ground for Clojure tooling

Language:ClojureLicense:EPL-1.0Stargazers:324Issues:26Issues:108

dorothy

Hiccup-style generation of Graphviz graphs in Clojure

FSharp.Data.SqlClient

A set of F# Type Providers for statically typed access to MS SQL database

Language:F#License:NOASSERTIONStargazers:205Issues:21Issues:307

letters-social

Sample project for React in Action (https://social.react.sh)

grafter

Linked Data & RDF Manufacturing Tools in Clojure

Language:ClojureLicense:EPL-1.0Stargazers:188Issues:27Issues:108

fsharpforfunandprofit.com

Source for fsharpforfunandprofit.com. For typos, please send a PR or create an issue. Thanks!

aristotle

RDF, SPARQL and OWL for Clojure

Language:ClojureLicense:Apache-2.0Stargazers:124Issues:12Issues:9

training

training materials for Brave Clojure Intro to Clojure Training

Language:ClojureLicense:NOASSERTIONStargazers:78Issues:5Issues:1

FSharp.FGL

Functional graph library for F#

Language:F#License:MITStargazers:60Issues:13Issues:29

MiniKnight

A pixel-art platformer in F#, where you must fight your way to the portal, collecting coins and slaying orcs along the way!

Language:F#License:MITStargazers:51Issues:3Issues:1

clj-wordnet

An interface to the WordNet database using idiomatic Clojure

Language:ClojureLicense:NOASSERTIONStargazers:35Issues:5Issues:6

idris-insertion-sort

Provably correct implementation of insertion sort in Idris.

Language:IdrisLicense:MITStargazers:28Issues:3Issues:1

nephila

Show a graph of your Clojure namespaces (alpha!)

Language:ClojureLicense:EPL-1.0Stargazers:18Issues:2Issues:6

joyful_clojure

Sample code and projects for A Joyful Introduction To Clojure

Language:ClojureStargazers:16Issues:4Issues:0