reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
OCaml10050mit
2 months ago
javascriptocamlprogramming-language
p-settle
Settle promises concurrently and get their fulfillment value or rejection reason
JavaScript89mit
6 months ago
ReAgent
A platform for Reasoning systems (Reinforcement Learning, Contextual Bandits, et
Python3522bsd-3-clause
3 days ago
eslint-config-adjunct
A reasonable collection of plugins to use alongside your main esLint configurati
JavaScript50mit
10 months ago
avachaicypress
coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dep
OCaml192other
6 months ago
automationcoqdependent-types
NewsBlur
Description NewsBlur is a personal news reader bringing people together to ta
Objective-C6726mit
3 days ago
androidelasticsearchfeed-reader
cookiecutter-data-science
A logical, reasonably standardized, but flexible project structure for doing and
Python7310mit
4 months ago
aicookiecuttercookiecutter-data-science
RTKLIB
A version of RTKLIB optimized for single and dual frequency low cost GPS receive
C580other
yesterday
demo5gnssgps
PSTeams
PSTeams is a PowerShell Module working on Windows / Linux and Mac. It allows sen
PowerShell397mit
9 months ago
adaptive-cardshacktoberfestincoming-webhook
audiobookapp
Description #1 Best Free Audiobooks app for you. Free for anyone to listenAud
JavaScript335
10 months ago
androidaudiobookaudiobookapp
reason-mode
Emacs major mode for working with ReasonML
Emacs Lisp121apache-2.0
last year
emacsocamlreasonml
merlin-eldoc
Type and doc on hover for OCaml and Reason in emacs
Emacs Lisp42gpl-3.0
last year
emacsocamlreasonml
Simple-PE32-Packer
Simple PE32 Packer with aPLib compression library. I checked that this packer wo
C++8
6 years ago
awesome-explainable-graph-reasoning
A collection of research papers and software related to explainability in graph
1929apache-2.0
2 years ago
awesome-listdeep-learningexplainable-ai
stockpredictionai
In this noteboook I will create a complete process for predicting stock p
3839
2 years ago
alea
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@v
Coq23lgpl-2.1
3 years ago
coqmonadpaper-artifacts
octavian
Utilities for reasoning about musical notes, frequencies, and intervals
JavaScript174mit
2 years ago
vaderSentiment
VADER Sentiment Analysis. VADER (Valence Aware Dictionary and sEntiment Reasoner
Python4193mit
last year
ftor
ftor enables ML-like type-directed, functional programming with Javascript inclu
JavaScript44mit
6 years ago
combinatorscompositioncurrying
PatronKit
Description A powerful, simple, award-winning podcast player. Featured by the
Swift363mit
7 years ago
cloudkitiospatronage
morefusion
MoreFusion: Multi-object Reasoning for 6D Pose Estimation from Volumetric Fusion
Python226other
last year
artificial-intelligencecomputer-visiondeep-learning