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

OCaml10050mit

2 months ago

javascriptocamlprogramming-language

Reason binding for Apollo Client and React Apollo

Reason553mit

11 months ago

package.json workflow for native development with Reason/OCaml

Reason827other

6 months ago

Settle promises concurrently and get their fulfillment value or rejection reason

JavaScript89mit

6 months ago

Reasonable Tox client for Android

Kotlin342gpl-3.0

9 days ago

androidhacktoberfestkotlin

The only reasonable scripting engine for Go.

Go526mit

2 months ago

gogolanginterpreter

A platform for Reasoning systems (Reinforcement Learning, Contextual Bandits, et

Python3522bsd-3-clause

2 days ago

A mostly reasonable approach to CSS and Sass.

6870mit

last month

A reasonable collection of plugins to use alongside your main esLint configurati

JavaScript50mit

10 months ago

avachaicypress

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dep

OCaml192other

6 months ago

automationcoqdependent-types

Description NewsBlur is a personal news reader bringing people together to ta

Objective-C6726mit

3 days ago

androidelasticsearchfeed-reader

A logical, reasonably standardized, but flexible project structure for doing and

Python7310mit

4 months ago

aicookiecuttercookiecutter-data-science

A version of RTKLIB optimized for single and dual frequency low cost GPS receive

C580other

13 hours ago

demo5gnssgps

PSTeams is a PowerShell Module working on Windows / Linux and Mac. It allows sen

PowerShell397mit

9 months ago

adaptive-cardshacktoberfestincoming-webhook

Description #1 Best Free Audiobooks app for you. Free for anyone to listenAud

JavaScript335

10 months ago

androidaudiobookaudiobookapp

Emacs major mode for working with ReasonML

Emacs Lisp121apache-2.0

last year

emacsocamlreasonml

Type and doc on hover for OCaml and Reason in emacs

Emacs Lisp42gpl-3.0

last year

emacsocamlreasonml

Simple PE32 Packer with aPLib compression library. I checked that this packer wo

C++8

6 years ago

A collection of research papers and software related to explainability in graph

1929apache-2.0

2 years ago

awesome-listdeep-learningexplainable-ai

In this noteboook I will create a complete process for predicting stock p

3839

2 years ago

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@v

Coq23lgpl-2.1

2 years ago

coqmonadpaper-artifacts

Utilities for reasoning about musical notes, frequencies, and intervals

JavaScript174mit

2 years ago

Add interceptors to GO http.Client

Go89apache-2.0

4 years ago

golanghttp-clientinterceptor

A mostly reasonable alternative to Vuex

TypeScript32mit

last year

alternativebadgebadges

VADER Sentiment Analysis. VADER (Valence Aware Dictionary and sEntiment Reasoner

Python4193mit

last year

ftor enables ML-like type-directed, functional programming with Javascript inclu

JavaScript44mit

6 years ago

combinatorscompositioncurrying

Description A powerful, simple, award-winning podcast player. Featured by the

Swift363mit

7 years ago

cloudkitiospatronage

MoreFusion: Multi-object Reasoning for 6D Pose Estimation from Volumetric Fusion

Python226other

last year

artificial-intelligencecomputer-visiondeep-learning