stjordanis Goto Github PK

realworldhaskell

realworldhaskellexercises

reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

reason-maze

reason-react

Reason bindings for ReactJS

reasonablypolymorphic.com

⏳ my math blog

reasoning-bio-as-xp

Experiments about reasoning over various datasets such as GO and SMPDB, etc, and how they relate.

reasoning-from-memory

Proof of concept application in which a user can enter facts using natural language and later ask questions that the system can use first-order logic inference to reason about.

reasoning-operations

Test the capabilities of different simple networks to perform reasoning operations

reasoningengine

Symbolic analysis of discrete dynamical systems

reasonml.github.io

Reason's documentation site

reaver-pysc2

Reaver: StarCraft II Deep Reinforcement Learning Agent. Modular DRL framework. Works with Gym, Atari, and MuJoCo as well.

rebar

ATTENTION: Please find the canonical repository here:

rebar3

Erlang build tool that makes it easy to compile and test Erlang applications and releases.

rebar3_codecov

A rebar3 plugin which converts .coverdata files to JSON format, compatible with

rebar3_hex

Rebar3 Hex library

rebar3_lfe

A comprehensive LFE rebar3 plugin for all your LFE tooling needs

rebar_erl_vsn

defines for erlang versions

rebar_gleam

🧰 Build Gleam code with rebar3

rebar_joxa_plugin

Rebar support for the Joxa Language

rebar_relcool_plugin

A plugin for the relcool release system

rebar_relx_plugin

Plugin that supports use of Relx (formerly Relcool) in rebar

rebar_vsn_plugin

Provides a more reasonable versioning scheme then the rebar standard 'git' vsn extension

rebenchr

An IO benchmarking toolkit for SSDs and HDDs.

rebugger.jl

An expression-level debugger for Julia with a provocative command-line (REPL) user interface

rebuildaction

CI configs for content rebuilding

recastnavigation

Navigation-mesh Toolset for Games

recctic

recipe

Automated machine learning (AutoML) with grammar-based genetic programming

recipes

Lasagne recipes: examples, IPython notebooks, ...