Alternatives and similar repositories for TaelinArena

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

• VictorTaelin / formality-agda-lib-legacy

  View on GitHub
  Agda libraries relevant to Moonad
  ☆14Apr 2, 2019Updated 6 years ago
• VictorTaelin / Moonad-web-legacy

  View on GitHub
  A Peer-to-Peer Operating System
  ☆36Mar 17, 2019Updated 6 years ago
• moonad / Moonad

  View on GitHub
  Moonad: a p2p academic journal, or a social network for code?
  ☆27Jan 6, 2023Updated 3 years ago
• marcoonroad / sporadic

  View on GitHub
  Composable Concurrency Abstractions for JavaScript.
  ☆18Aug 2, 2024Updated last year
• Soonad / Formality-Core

  View on GitHub
  Specification of the Formality proof and programming language
  ☆41Feb 5, 2023Updated 3 years ago
• coproduto / unthrow

  View on GitHub
  Wrap promises, never use .catch again
  ☆25Jan 11, 2023Updated 3 years ago
• Soonad / Base.fm

  View on GitHub
  Standard library for the Formality language
  ☆18Mar 22, 2020Updated 5 years ago
• VictorTaelin / servify

  View on GitHub
  Microservices in the simplest way conceivable.
  ☆28Aug 3, 2017Updated 8 years ago
• VitorLuizC / event-emitter

  View on GitHub
  Emit and listen events in any class, object or function without messing them extending classes. And you can declare it with Fluent Interf…
  ☆17Jul 7, 2025Updated 7 months ago
• VictorTaelin / Elementary-Affine-Core-legacy

  View on GitHub
  A simple, untyped, terminating functional language that is fully compatible with optimal reductions.
  ☆17Jun 17, 2019Updated 6 years ago
• Soonad / Whitepaper

  View on GitHub
  Moonad: a Peer-to-Peer Operating System
  ☆101Dec 7, 2019Updated 6 years ago
• VictorTaelin / Cedille-Core

  View on GitHub
  A minimal proof language.
  ☆212Jan 26, 2019Updated 7 years ago
• ethereum / moon-lang

  View on GitHub
  Minimal code-interchange format
  ☆193Jun 15, 2020Updated 5 years ago
• Soonad / FormalityFM

  View on GitHub
  Formality in itself
  ☆20Nov 30, 2020Updated 5 years ago
• Soonad / Moonad

  View on GitHub
  An upcoming operating system built on Type-Theory
  ☆43Jul 1, 2020Updated 5 years ago
• VictorTaelin / Caramel

  View on GitHub
  A modern syntax for the λ-calculus.
  ☆414Jun 28, 2016Updated 9 years ago
• renatovassao / solitaire-rs

  View on GitHub
  Solitaire game written in Rust
  ☆11Oct 14, 2020Updated 5 years ago
• HelloMole / bookEdit

  View on GitHub
  一个基于cocos的轻量化编辑工具
  ☆20Jan 12, 2026Updated last month
• VictorTaelin / lsign

  View on GitHub
  Quantum-proof, 768-bit signatures for 1-bit messages
  ☆11Mar 11, 2020Updated 5 years ago
• VitorLuizC / reconstruct

  View on GitHub
  Iterate over properties and merge them into a new object.
  ☆11Nov 4, 2018Updated 7 years ago
• robotlolita / furipota

  View on GitHub
  (unmaintained) A discrete FRP DSL for describing better build pipelines.
  ☆22Aug 4, 2017Updated 8 years ago
• melvinzhang / lambda-calculus-game

  View on GitHub
  ☆26Dec 31, 2021Updated 4 years ago
• haskellcamargo / xgh-headers

  View on GitHub
  Headers for "eXtreme Go Horse" projects
  ☆44Jun 12, 2018Updated 7 years ago
• thesephist / xi

  View on GitHub
  A dynamic, stack-based concatenative toy programming language.
  ☆14Mar 12, 2022Updated 3 years ago
• dreamLXW / Cocos_CoilTheRope

  View on GitHub
  引擎：cocos creator 引擎版本：2.0.10 语言：javascript 功能：模拟绳子产生缠绕
  ☆43Sep 4, 2019Updated 6 years ago
• MonoidMusician / purescript-halogen-zuruzuru

  View on GitHub
  A list reordering component for Halogen. Named by @justinwoo. (GitHub suggested "verbose-chainsaw".)
  ☆15Aug 16, 2019Updated 6 years ago
• VictorTaelin / Elementary-Affine-Type-Theory-legacy

  View on GitHub
  Minimal, efficient proof language
  ☆14May 28, 2019Updated 6 years ago
• purefunctor / psvm-ps

  View on GitHub
  PureScript version management in PureScript.
  ☆14Jan 27, 2023Updated 3 years ago
• moonad-archive / Formality-JavaScript

  View on GitHub
  An implementation of the Formality language in JavaScript
  ☆71Aug 27, 2019Updated 6 years ago
• mikesol / klank.dev

  View on GitHub
  Sound for all!
  ☆14Mar 22, 2021Updated 4 years ago
• jeanlucaslima / elixirminiconf

  View on GitHub
  Elixir Mini Conf - 15 de Outubro de 2016 - São Paulo
  ☆10Mar 16, 2016Updated 9 years ago
• purescript / governance

  View on GitHub
  ☆21Jul 1, 2024Updated last year
• playnb / ShaderHelper2

  View on GitHub
  Cocos Creator Shader组件，支持引擎版本2.1.2
  ☆13Nov 19, 2019Updated 6 years ago
• rintcius / purescript-aui

  View on GitHub
  Algebraic UI's in Purescript
  ☆15Dec 4, 2020Updated 5 years ago
• PetriNets / petrinets.github.io

  View on GitHub
  Petrinet.org interactive playground website
  ☆16Oct 17, 2019Updated 6 years ago
• IgorHalfeld / go-promise

  View on GitHub
  Manage async flow as a javascript person, and yeah, it's just for fun!
  ☆18Oct 8, 2019Updated 6 years ago
• ajnsit / purescript-es4x

  View on GitHub
  ☆14Dec 28, 2020Updated 5 years ago
• lambda-11235 / FarRP

  View on GitHub
  An arrowized FRP library for Idris with static safety guarantees.
  ☆16Jun 6, 2018Updated 7 years ago
• jonschlinkert / ansi-wrap

  View on GitHub
  Create ansi colors by passing open and close codes.
  ☆19Apr 12, 2024Updated last year