Alternatives and similar repositories for reallink-frontend

Users that are interested in reallink-frontend are comparing it to the libraries listed below

• Proladon / Picnel.io-2

  View on GitHub
  Image management/classification IO software
  ☆13Oct 24, 2022Updated 3 years ago
• ChhoeTaigi / ChhoeTaigi

  View on GitHub
  ChhoeTaigi 找台語
  ☆21Oct 5, 2018Updated 7 years ago
• RainrainWu / knowledge-base

  View on GitHub
  ☆21Oct 31, 2022Updated 3 years ago
• Proladon / PyBot-backBone

  View on GitHub
  Python Discord Bot 基礎骨架
  ☆16Mar 31, 2021Updated 4 years ago
• JustinSDK / toy_lang

  View on GitHub
  The first language I made.
  ☆30Sep 5, 2018Updated 7 years ago
• channel2007 / Python_Tetris

  View on GitHub
  【python】初體驗-俄羅斯方塊遊戲
  ☆11Apr 4, 2020Updated 5 years ago
• JockLawrie / MultinomialRegression.jl

  View on GitHub
  ☆11Oct 25, 2024Updated last year
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• paolobrasolin / string-diagrams

  View on GitHub
  Create string diagrams with LaTeX!
  ☆14Jan 3, 2025Updated last year
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• combinators / cls-scala

  View on GitHub
  (CL)S - Combinatory Logic Synthesizer
  ☆12Oct 1, 2021Updated 4 years ago
• dspivak / dependent-types

  View on GitHub
  ☆12Mar 13, 2025Updated 11 months ago
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• SCWhite / MeshBridge

  View on GitHub
  This project uses Raspberry Pi to create an offline WiFi hotspot and chat room, allowing the general public to connect to the Meshtastic …
  ☆27Feb 5, 2026Updated last week
• maxdore / csolver

  View on GitHub
  ☆16Aug 2, 2023Updated 2 years ago
• IanLuites / with_retry

  View on GitHub
  Adds a `with_retry` block for writing `with` statements that are automatically retried.
  ☆11May 22, 2019Updated 6 years ago
• supersonictw / popsenzawa

  View on GitHub
  The web client for popsenzawa-echo.
  ☆11Aug 25, 2024Updated last year
• ots22 / racket-ad-demos

  View on GitHub
  Exploring Automatic Differentiation with Racket
  ☆12Jan 9, 2022Updated 4 years ago
• tydeu / lean4-partax

  View on GitHub
  Lean 4 library of tools for parsing and compiling syntax and parser definitions.
  ☆16Dec 10, 2023Updated 2 years ago
• pa-ba / equivalence

  View on GitHub
  ☆13Jan 7, 2026Updated last month
• cofibrant / agda-nbe

  View on GitHub
  Verified NbE via gluing in Agda
  ☆11May 19, 2024Updated last year
• ocramz / algebraic-graphs-io

  View on GitHub
  I/O utilities and datasets for algebraic-graphs
  ☆14Aug 29, 2022Updated 3 years ago
• chaw / r7rs-libs

  View on GitHub
  Scheme libraries written or packaged for R7RS implementations
  ☆13Apr 7, 2018Updated 7 years ago
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 10 years ago
• yanyingwang / http-client

  View on GitHub
  A practical http client library for sending data to http servers.
  ☆10Jul 10, 2024Updated last year
• thautwarm / Sequent.jl

  View on GitHub
  formally and easily, describe the semantics.
  ☆13Aug 17, 2020Updated 5 years ago
• hargoniX / pfmt

  View on GitHub
  A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
  ☆15Mar 27, 2025Updated 10 months ago
• ice1000 / copilot-learning-materials

  View on GitHub
  My type-ups for copilot to learn from.
  ☆11Aug 30, 2022Updated 3 years ago
• StrikerX3 / mio

  View on GitHub
  Cross-platform C++11 header-only library for memory mapped file IO
  ☆15Oct 9, 2025Updated 4 months ago
• caioluders / g3n3r4t1v3

  View on GitHub
  Collection of generative art made by me.
  ☆10Jul 8, 2018Updated 7 years ago
• dannypsnl / minic

  View on GitHub
  Minimalist compiler course, based on Essential of Compilation
  ☆11Dec 15, 2025Updated 2 months ago
• michaelballantyne / miniKanren-occurrence-type-inferencer

  View on GitHub
  ☆13Mar 2, 2015Updated 10 years ago
• prathyvsh / history-of-lambda-calculus

  View on GitHub
  Survey on materials that touch on the history of Lambda Calculus
  ☆12Sep 13, 2020Updated 5 years ago
• mordae / racket-avl

  View on GitHub
  AVL Trees for Racket
  ☆12Jan 7, 2018Updated 8 years ago
• michaelballantyne / ee-lib

  View on GitHub
  ☆12Jun 7, 2024Updated last year
• khayyamsaleem / gradual-typing

  View on GitHub
  an implementation of gradual typing in mit-scheme
  ☆10Apr 11, 2021Updated 4 years ago
• batterseapower / chsc

  View on GitHub
  The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"
  ☆23Mar 30, 2011Updated 14 years ago
• study-ml / word2vec-demo

  View on GitHub
  Visualize word2vec in javascript
  ☆10Jan 31, 2023Updated 3 years ago