Alternatives and similar repositories for AntiPython-AI-Compiler-Colab

Users that are interested in AntiPython-AI-Compiler-Colab are comparing it to the libraries listed below

• ad-si / Woxi
  Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)
  ☆37Updated 3 months ago
• andreypopp / BQN.jl
  BQN implementation in Julia
  ☆17Updated 3 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• codereport / kjunior
  K Junior is an MIT licensed open source array language written by Arthur Whitney.
  ☆21Updated last year
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆31Updated last month
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated last year
• AlgebraicJulia / ACSets.jl
  ACSets: Algebraic databases as in-memory data structures
  ☆25Updated 3 weeks ago
• nushell / demo
  Experimental wasm-based Nu playground
  ☆26Updated 3 years ago
• MilesCranmer / BorrowChecker.jl
  A borrow checker for Julia
  ☆111Updated last month
• AlgebraicJulia / StructuredDecompositions.jl
  Structured decompositions!
  ☆14Updated 5 months ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆37Updated last year
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆32Updated last month
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 7 months ago
• typedb / typedb-driver
  TypeDB Drivers for Rust, Python, Java, Node.js, C, C++, and C#.
  ☆50Updated this week
• ad-si / cai
  User friendly CLI tool for AI tasks. Stop thinking about LLMs and prompts, start getting results!
  ☆122Updated this week
• JuliaNeighbors / IVFADC.jl
  Inverted file system for billion-scale ANN search
  ☆19Updated last year
• TheCedarPrince / C3T
  C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱
  ☆36Updated 2 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• modular / devrel-extras
  Contains supporting materials for developer relations blog posts, videos, and workshops
  ☆45Updated last month
• JuliaHealth / BloodFlowTrixi.jl
  This package implements 1D and 2D blood flow models for arterial circulation using Trixi.jl, enabling efficient numerical simulation and …
  ☆41Updated 2 weeks ago
• brurucy / materialized-view
  ☆18Updated 4 months ago
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Updated 7 months ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• ThetaLang / Theta
  θ A statically typed, functional programming language that compiles to WebAssembly
  ☆39Updated 10 months ago
• miguelraz / PathToPerformance
  Virtual diary for progress on all fronts.
  ☆10Updated 5 years ago
• TuringLang / JuliaBUGS.jl
  A domain specific language (DSL) for probabilistic graphical models
  ☆55Updated last week
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 10 years ago
• kerberosmansour / TLA_AutoRepair
  A TLA+ AutoRepair System For Formal Specification with GPT-4
  ☆14Updated 2 years ago
• IDNI / tau-lang
  ☆77Updated last week
• tisztamo / Junior
  AI-First IDE which fully codes itself: No code was written by humans here.
  ☆25Updated 6 months ago