Zeta611 / react-traceLinks
β React-tRace is a React hooks reference interpreter based on a formal semantics
β30Updated 2 weeks ago
Alternatives and similar repositories for react-trace
Users that are interested in react-trace are comparing it to the libraries listed below
Sorting:
- π (WIP) Rewriting Software Foundations in Lean 4β13Updated 2 months ago
- β10Updated last year
- β19Updated last year
- β15Updated 2 years ago
- Tutorial for refinement based verificationβ13Updated last year
- β48Updated 2 months ago
- β14Updated last year
- β15Updated 5 months ago
- π A Rocq library written by members of PnV Discord Serverβ14Updated last week
- μ»΄ν¨ν° μ κΈ°μ νΉκ°β10Updated 2 years ago
- A simple package to format Backus-Naur formβ13Updated last year
- β12Updated last year
- β22Updated 4 years ago
- μν μ¦λͺ μΈμ΄ Agda μ λ¬Έβ12Updated 2 years ago
- β36Updated 8 months ago
- bidirectional type checking algorithms for higher-ranked polymorphismβ19Updated 3 years ago
- One-for-all python script for running LLVM experimentβ11Updated 3 years ago
- π°π· μ¬μ΄ μ λ¬Έμ©μ΄ (Easy Korean Translations of CS Jargons)β32Updated last week
- EOPL in Haskellβ20Updated last week
- Exercises for EOPL in Haskellβ10Updated 6 months ago
- β53Updated last week
- This repository contains examples to help on understanding what are and how to write PPXs in OCaml.β45Updated 10 months ago
- OxCaml Parallelismβ33Updated last week
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.β33Updated 3 years ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deductionβ88Updated last month
- The 7GUIs implemented in ReScriptβ15Updated last year
- COSE 312 Compilersβ37Updated 2 years ago
- A Coq library for parametric coinductionβ50Updated 8 months ago
- An SMT solver frontend for OCamlβ48Updated this week
- OCaml hash-consing libraryβ51Updated last year