Alternatives and similar repositories for conjure-oxide

Users that are interested in conjure-oxide are comparing it to the libraries listed below

• tspink / stacsos
  The University of St Andrews Computer Science Operating System
  ☆12Updated last week
• uiua-lang / uiua
  A tacit array programming language
  ☆1,946Updated this week
• coalton-lang / coalton
  Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
  ☆1,472Updated this week
• Rattlehead15 / Correlativas
  Árbol de Correlativas de LCC
  ☆10Updated 3 years ago
• sondresl / AdventOfCode
  🎄❄️Advent of Code solutions in Haskell 🎅🎁
  ☆10Updated 10 months ago
• mthom / scryer-prolog
  A modern Prolog implementation written mostly in Rust.
  ☆2,301Updated 2 weeks ago
• Valentinusz / elte-ik-bsc
  ELTE IK tananyagok
  ☆121Updated last year
• CeleritasCelery / rune
  Rust VM for Emacs
  ☆693Updated last week
• wo / tpg
  Tree Proof Generator
  ☆173Updated 8 months ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆661Updated 4 months ago
• mlochbaum / BQN
  An APL-like programming language
  ☆1,008Updated last week
• aarroyoc / scryer-playground
  Web playground to try Scryer Prolog in your browser!
  ☆14Updated last year
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆539Updated last month
• mcserep / elteikthesis
  ELTE FI bachelor and master thesis template.
  ☆73Updated last year
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆52Updated 2 years ago
• vlaamseprogrammeerwedstrijd / opgaves
  Opgaves van de voorbije jaren
  ☆22Updated last year
• phreppo / wstat
  While language static analyzer
  ☆10Updated 5 years ago
• mhorod / tcs-suffering
  Notes from subjects taught on TCS, JU
  ☆27Updated last week
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆466Updated 4 years ago
• rougier / nano-emacs
  GNU Emacs / N Λ N O - Emacs made simple
  ☆2,767Updated 3 weeks ago
• kaveh808 / kons-9
  Common Lisp 3D Graphics Project
  ☆631Updated last year
• automatarium / automatarium
  A place for automata
  ☆79Updated this week
• sivertschou / shortcuts
  En liten samling editorshortcuts som jeg hvert fall skulle ønske jeg begynte å bruke tidligere 🤠
  ☆11Updated 3 years ago
• LispCookbook / cl-cookbook
  The Common Lisp Cookbook
  ☆994Updated last week
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,219Updated last week
• BackroomsOrg / frontroomsbot
  ☆17Updated last week
• Oliveriver / 5d-diplomacy-with-multiverse-time-travel
  5D Diplomacy With Multiverse Time Travel
  ☆1,044Updated 5 months ago
• Giacomix02 / Codice-Univaq-Informatica
  Qui troverete tutto il codice che "sforneremo" e studieremo in questi anni
  ☆12Updated 3 years ago
• swarm-game / swarm
  Resource gathering + programming game
  ☆893Updated last week
• mtzguido / intro-verif-24
  Repositorio de la optativa para la FCEIA
  ☆15Updated 6 months ago