|
Python |
3 |
Automated Reasoning For Data Science |
Jan 19, 2021 |
|
CSS |
37 |
Course notes for CS323: Automated Reasoning |
Jul 13, 2022 |
|
Isabelle |
9 |
Automated Reasoning for the Working Mathematician |
May 08, 2023 |
|
Reason |
6 |
ReasonML bindings for react-dates |
Dec 06, 2021 |
|
Reason |
16 |
ReasonML bindings for react-select |
Feb 14, 2022 |
|
ReScript |
18 |
ReasonML bindings for react-toastify |
Jan 31, 2023 |
|
Reason |
11 |
ReasonML bindings for http://react-reveal.com/ |
Jan 31, 2023 |
|
OCaml |
3 |
Reasonml Bindings for react-transition-group |
May 31, 2022 |
|
Common Lisp |
18 |
SNARK - SRI's New Automated Reasoning Kit |
Apr 23, 2023 |
|
OCaml |
14 |
ReasonML React Native (Expo) example |
Jul 31, 2018 |
|
OCaml |
304 |
ReasonML React Native App for SeattleJS Conf |
Jul 14, 2022 |
|
OCaml |
16 |
ReasonML bindings for react-native-vector-icons |
Apr 28, 2020 |
|
SMT |
128 |
Automated Reasoning in Nonlinear Theories of Reals |
Apr 24, 2023 |
|
OCaml |
2 |
Example reasonml/ocaml react native app |
Nov 10, 2020 |
|
JavaScript |
8 |
A ReasonML+ReasonReact template for Create React App. |
Jul 27, 2020 |
|
JavaScript |
11 |
Simple starter repository for ReasonML + React (webpack included) |
Sep 27, 2021 |
|
Alloy |
18 |
An advanced automated reasoning tool for memory consistency model specifications. |
May 18, 2022 |
|
HTML |
16 |
CPS sugar usage for React Render Props composition in ReasonML |
Feb 28, 2019 |
|
Elixir |
5 |
Sample application for my ReasonML talk at React Meet-up |
Jan 28, 2021 |
|
JavaScript |
8 |
Create React App with typescript, reasonml and gentype |
Aug 27, 2019 |
|
JavaScript |
2 |
reErEn (reRN) - Basic, ReactJs, & React Native with ReasonML |
Jan 28, 2023 |
|
Reason |
3 |
Pomodoro timer created with ReasonML with React Hooks |
Apr 16, 2021 |
|
JavaScript |
634 |
:beginner: Create a ReasonML and React development environment |
May 16, 2023 |
|
HTML |
45 |
ReasonML Q & A - Questions and answers for everything ReasonML. |
Jan 30, 2021 |
|
OCaml |
250 |
GraphQL language primitives for ReScript/ReasonML written in ReasonML |
May 03, 2023 |
|
JavaScript |
6 |
a Collection and Essential set of React Hooks for ReasonReact (ReasonML) |
Jan 28, 2023 |
|
JavaScript |
3 |
A tiny (1kb) React component for split panes (written in ReasonML). |
Mar 26, 2022 |
|
OCaml |
7 |
📝 A simple Sudoku board implemented with ReasonML React |
Apr 17, 2020 |
|
OCaml |
6 |
A todo app with ReasonReact + ReasonML + OCaml + BuckleScript + React |
Apr 11, 2020 |
|
Reason |
2 |
Pomodoro timer written in ReasonML with React, courtesy of https://dev.to/iwilsonq/reasonml-with-react-hooks-tutorial-building-a-pomodoro-timer-57h0 |
Mar 24, 2020 |
|
OCaml |
3 |
Code from John Harrison's Handbook of Practical Logic and Automated Reasoning |
Aug 16, 2021 |
|
OCaml |
4 |
ReasonML bindings for Fastify |
Oct 13, 2021 |
|
Reason |
143 |
ReasonML bindings for Expo |
Jul 13, 2022 |
|
OCaml |
41 |
Declarative Bindings for ReasonML |
Dec 28, 2021 |
|
HTML |
33 |
ReasonML Manual |
Dec 15, 2022 |
|
None |
2 |
ReasonML workshop |
Sep 27, 2019 |
|
Rust |
4 |
Exploring John Harrison's Handbook of Practical Logic and Automated Reasoning, in Rust |
Jun 17, 2022 |
|
C |
3 |
CS264A: Automated Reasoning: Course Project (SAT Solver and Knowledge compiler) SP 2015 |
Apr 04, 2023 |
|
Python |
4 |
Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning (IEEE TSE) |
Jun 18, 2023 |
|
Reason |
2 |
A repl for BuckleScript/ReasonML |
Jun 23, 2020 |
|
C |
22 |
ReasonML bindings for tree-sitter |
Sep 25, 2022 |
|
Reason |
12 |
Luxon bindings for Bucklescript/ReasonML |
Sep 16, 2020 |
|
Java |
323 |
ReasonML Language Plugin for IDEA |
Apr 19, 2023 |
|
OCaml |
4 |
Reasonml Api rest |
Apr 26, 2019 |
|
OCaml |
4 |
Parcel + JavaScript + ReasonML |
Feb 06, 2021 |
|
JavaScript |
2 |
Introduction in ReasonML |
Feb 02, 2022 |
|
JavaScript |
55 |
ReasonML and Vue |
Aug 19, 2022 |
|
Reason |
9 |
Isomorphic ReasonML PWA |
Apr 18, 2022 |
|
OCaml |
6 |
Code from book "Handbook of Practical Logic and Automated Reasoning" by John Harrison |
Aug 13, 2019 |
|
TeX |
2 |
Automated Reasoning course project - Binary Decision Diagrams C++ implementation and paper (in Serbian) |
Jan 28, 2023 |