Alternatives and similar repositories for lexie

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

• qexat-archive / ansifmt

  View on GitHub
  A simple, lightweight library for ANSI styling.
  ☆24Oct 30, 2025Updated 3 months ago
• math-blocks / math-blocks

  View on GitHub
  A set of tools, components, and libraries for building interactive math applications.
  ☆14Jan 3, 2025Updated last year
• sporto / elm-workshop

  View on GitHub
  An introductory workshop to learn Elm
  ☆15Mar 23, 2018Updated 7 years ago
• thesephist / schrift

  View on GitHub
  A more experimental runtime for Ink, focused on perf and instrumentation
  ☆16Dec 25, 2020Updated 5 years ago
• kipos-lang / kipos

  View on GitHub
  let a million languages bloom
  ☆22Apr 20, 2025Updated 9 months ago
• tiny-bow / ribbon-language

  View on GitHub
  The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…
  ☆21Jan 18, 2026Updated 3 weeks ago
• qexat-archive / violette

  View on GitHub
  Violette is a simple functional programming language.
  ☆26Oct 11, 2025Updated 4 months ago
• ionathanch / TTBFL

  View on GitHub
  A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.
  ☆22Jan 28, 2026Updated 2 weeks ago
• crckturtle / Blooket-Hack-GUI

  View on GitHub
  "Hacks" for online blooket games. Does not require outside information (ie. url, gamepin, sign in information) blooket hacks
  ☆14Jan 25, 2024Updated 2 years ago
• dsagman / picat

  View on GitHub
  Learning Constraint Programming with Picat
  ☆54Oct 20, 2025Updated 3 months ago
• spinsightai / RouletteAiPrediction

  View on GitHub
  SpinSight Roulette AI Is a powerful machine-learning model trained on thousands of hours of Roulette gameplay, analyzes real-time ball tr…
  ☆16Jul 1, 2025Updated 7 months ago
• wsoft-ws / Losetta

  View on GitHub
  The execution environment and command line interface for AliceScript.
  ☆11Sep 15, 2025Updated 5 months ago
• sgraf812 / mpl

  View on GitHub
  A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo
  ☆37Jun 27, 2025Updated 7 months ago
• lettier / purescript-pop

  View on GitHub
  A functional reactive programming (FRP) demo created with PureScript events and behaviors.
  ☆34Oct 23, 2018Updated 7 years ago
• jmpavlick / elm-html-form

  View on GitHub
  A flexible and extensible form package in Elm that uses the platform.
  ☆11Jul 8, 2024Updated last year
• trayBeamz / bloxluck-gambling-website-leaked

  View on GitHub
  https://bloxluck.com's source code, its a mm2 gambling website, make sure to set everything up in the php files, the owner exited, and he…
  ☆10Sep 16, 2022Updated 3 years ago
• MohamedHaitamKsiks / awesome-simple-engine

  View on GitHub
  multi platform game engine
  ☆11Sep 1, 2025Updated 5 months ago
• CryptoFlashZ / Usdt-Flash-Sender

  View on GitHub
  Flash USDT transaction (core network) is a software designed to enable you send fake USDT from any wallet address to another wallet addre…
  ☆16Feb 24, 2024Updated last year
• msp-strath / ask

  View on GitHub
  being a particular fragment of Haskell, extended to a proof system
  ☆43Dec 2, 2025Updated 2 months ago
• CakeML / pure

  View on GitHub
  A verified compiler for a lazy functional language
  ☆39Feb 4, 2026Updated last week
• govuk-one-login / life-events-platform

  View on GitHub
  Cross government data share platform
  ☆10Oct 18, 2023Updated 2 years ago
• xieyuheng / inet-forth

  View on GitHub
  An implementation of interaction nets as a forth-like language.
  ☆44Nov 16, 2025Updated 3 months ago
• martin640 / Sketchware-Tools

  View on GitHub
  Tools for Sketchware
  ☆12Aug 27, 2020Updated 5 years ago
• alessiomeloni / blackjack-strategy-calculator

  View on GitHub
  This blackjack coach will provide you with the optimal move based on your cards and the dealer's cards, using the Hi-Lo system, Betting D…
  ☆10Apr 26, 2023Updated 2 years ago
• weepingwitch / willow

  View on GitHub
  willow - a simple interpreted programming language
  ☆10Feb 3, 2018Updated 8 years ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• kutyel / es6-emitter

  View on GitHub
  🚀 Smallest event emitter for JavaScript with all the power of ES6 Maps!
  ☆11Jul 25, 2019Updated 6 years ago
• Ganainmtech / Algorand-dApp-Quick-Start-Template-TypeScript

  View on GitHub
  Kickstart your Algorand dApp in minutes. Full-stack TypeScript template with wallet connect, payments, NFT minting, token creation, and s…
  ☆55Nov 17, 2025Updated 2 months ago
• dustin / tesla

  View on GitHub
  Tesla API for Haskell
  ☆15Dec 15, 2025Updated 2 months ago
• juniorxxue / learn-plt-redex

  View on GitHub
  Resources for Learning PLT Redex
  ☆13Jul 24, 2021Updated 4 years ago
• the-sett / elm-serverless-demo

  View on GitHub
  Demo applications for elm-serverless.
  ☆11Jan 9, 2026Updated last month
• luqui / Djest

  View on GitHub
  A programming language that deduces code from tests
  ☆30Jan 8, 2018Updated 8 years ago
• darius / cogen

  View on GitHub
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13May 21, 2016Updated 9 years ago
• 8l / ff

  View on GitHub
  A Simple Forth System for Linux on i386 and ARM CPUs
  ☆41Nov 19, 2015Updated 10 years ago
• dunhamsteve / nutrition-data

  View on GitHub
  Code to create a sqlite db from USDA nutrition database
  ☆15Nov 18, 2016Updated 9 years ago
• mthongvanh / cleanboot

  View on GitHub
  ☆10Jun 18, 2025Updated 7 months ago
• Dillonb / dgbir

  View on GitHub
  An intermediate representation language for JITs
  ☆12Jan 11, 2026Updated last month
• evelynhathaway / pixel-sort

  View on GitHub
  🖼️📏 Web app to liven your photos with a glitch effect
  ☆15Feb 7, 2026Updated last week
• Shinmera / depot

  View on GitHub
  Protocol for transparent collections of files.
  ☆12Aug 13, 2025Updated 6 months ago