Alternatives and similar repositories for fairdo

Users that are interested in fairdo are comparing it to the libraries listed below

• 2vg / nim-wasm-example
  example "Nim to wasm".
  ☆20Updated 6 years ago
• ponylang / http
  ponylang HTTP client library
  ☆43Updated 3 months ago
• jasontrigg0 / pawk
  Awk-like tool using python
  ☆11Updated 5 years ago
• kashirin-alex / swc-db
  SWC-DB (Super Wide Column Database) - High Performance Scalable Database
  ☆16Updated 11 months ago
• ergo-services / tools
  Tools that make your life easier working with Ergo Framework
  ☆21Updated 2 months ago
• andreaferretti / nim-teafiles
  TeaFiles for Nim
  ☆21Updated 5 years ago
• sustrik / igor
  ☆12Updated 4 years ago
• anssihalmeaho / funl
  FunL programming language
  ☆23Updated last month
• ponylang / pony-language-server
  Language server for Pony
  ☆26Updated 3 weeks ago
• KeliLanguage / vscode-lsp
  Keli extension for Visual Studio Code
  ☆10Updated 6 years ago
• zyedidia / flare
  Syntax highlighting engine built using GPeg
  ☆18Updated last year
• thomasWeise / aitoa
  An Introduction to Optimization Algorithms
  ☆11Updated 5 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated 2 weeks ago
• exercism / pony
  Exercism exercises in Pony.
  ☆38Updated last year
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆77Updated 2 months ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26Updated 5 years ago
• diku-dk / futhark-book
  Parallel Programming in Futhark
  ☆49Updated 3 months ago
• danielledeleo / periwiki
  MediaWiki-inspired wiki in Go
  ☆15Updated last year
• danaugrs / deltanets
  Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction
  ☆40Updated 6 months ago
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆30Updated 9 months ago
• chaos-lang / occultist
  Dependency manager for the Chaos language
  ☆21Updated 5 years ago
• jesvedberg / tpix
  Simple terminal image viewer using the Kitty graphics protocol
  ☆81Updated 3 years ago
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 7 years ago
• alialrahahleh / fjq
  Fast JQ (JSON Querying and format)
  ☆12Updated 3 years ago
• lisael / pony-postgres
  Pure pony PostgreSQL client
  ☆15Updated 8 years ago
• ponylang / lori
  Pony TCP classes reimagined
  ☆13Updated 3 months ago
• jon49 / htmf
  A minimalist partial html swapping library similar to HTMX and other libraries which create an MPA app and enhances it with a focus on HT…
  ☆30Updated 2 months ago
• moajohansson / IsaHipster
  Theory Exploration for Isabelle using HipSpec
  ☆20Updated last year
• psg-mit / twist-popl22
  POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".
  ☆47Updated 4 years ago
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆17Updated 9 months ago