Alternatives and similar repositories for oneil

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

• sonm-io / boinc-related-files

  View on GitHub
  ☆10Feb 28, 2017Updated 8 years ago
• HarryR / PoWToken

  View on GitHub
  Ethereum Smart Contract - Proof of Work token
  ☆10Jul 2, 2017Updated 8 years ago
• DevProgress / HillaryBNB

  View on GitHub
  Home sharing app for Hillary Clinton supporters
  ☆10Jan 6, 2017Updated 9 years ago
• shriram / porpoise

  View on GitHub
  use an LLM to translate purpose-statements into code to evaluate their quality
  ☆11Apr 3, 2024Updated last year
• Luka-O / polya-enumeration-theorem

  View on GitHub
  A Lean 4 formalization of Pólya enumeration theorem.
  ☆21Jun 6, 2025Updated 8 months ago
• kushalchauhan98 / bcn-cnn-text-classification

  View on GitHub
  Text classification experiments using TextCNNs and Bi-attentive Classification Networks
  ☆10Feb 18, 2019Updated 6 years ago
• Peter-H-Meadows / GtMetamath

  View on GitHub
  Metamath logic game
  ☆10Apr 16, 2025Updated 9 months ago
• kai-qu / syntax

  View on GitHub
  Experiments with syntax and symbols
  ☆15Mar 5, 2019Updated 6 years ago
• kleinesfilmroellchen / sof-language

  View on GitHub
  Moved to Codeberg
  ☆10Jan 10, 2026Updated last month
• marianoguerra / match

  View on GitHub
  [kept for historical reasons, see efene] a calculator implemented in erlang that will turn into a toy language if I have time
  ☆16Oct 24, 2009Updated 16 years ago
• nineties / planck-old

  View on GitHub
  This project aims to develop a Compiler Infrastructure which have advanced memory safety and concurrency features.
  ☆10Dec 27, 2023Updated 2 years ago
• BlueMeanie / bitcoingraphdb

  View on GitHub
  A Tool For Importing the Blitcoin Blockchain into the Neo4j Graph Database
  ☆20Jul 8, 2013Updated 12 years ago
• gordonbrander / thebackup

  View on GitHub
  The Backup Bag
  ☆11Jul 27, 2022Updated 3 years ago
• jholtom / ccsds-kernel-drivers

  View on GitHub
  CCSDS Linux (and uCLinux) Kernel Drivers
  ☆13Jan 31, 2020Updated 6 years ago
• snoglobe / language_garden

  View on GitHub
  ☆10Aug 20, 2024Updated last year
• codebox / regex_parser

  View on GitHub
  A regular expression parser written in JavaScript
  ☆10Feb 24, 2021Updated 4 years ago
• zacmanchester / quaternion-variational-integrators

  View on GitHub
  Special-purpose numerical integrators for spacecraft attitude dynamics
  ☆14Feb 4, 2016Updated 10 years ago
• marianoguerra / mclulang

  View on GitHub
  McLulang: The message is the language
  ☆12Aug 23, 2024Updated last year
• fuad1502 / oonta

  View on GitHub
  OCaml (subset) to LLVM IR compiler front-end 🐪
  ☆26Jan 19, 2026Updated 3 weeks ago
• true-grue / soviet_compilers

  View on GitHub
  Материалы к серии докладов о советской компиляторной школе
  ☆12Aug 8, 2024Updated last year
• atharris / basilisk_env

  View on GitHub
  OpenAI Gym environments for spacecraft operations problems.
  ☆14Mar 25, 2021Updated 4 years ago
• N-Dekker / noexcept_benchmark

  View on GitHub
  Compares the performance effect of 'noexcept' to an implicit exception specification
  ☆19Oct 15, 2024Updated last year
• nejdetkadir / google-keep-api

  View on GitHub
  Google Keep API with Ruby on Rails
  ☆12Nov 3, 2021Updated 4 years ago
• mitmath / numerical_hub

  View on GitHub
  interdisciplinary numerical methods: half-semester "hub" course
  ☆15Updated this week
• GlassUp / Sdk

  View on GitHub
  ☆10Jun 24, 2015Updated 10 years ago
• decentraland / MANA-community-fund-learning-content

  View on GitHub
  Offer bounties in MANA to developers that create educational content: tutorials & scene samples
  ☆11Nov 21, 2018Updated 7 years ago
• UberPyro / Prowl-Ideas-Pile

  View on GitHub
  Ideas, documents, and tutorial pile for the Prowl Language
  ☆12Aug 2, 2024Updated last year
• PiCake314 / Pie

  View on GitHub
  (Hopefully) a compiler for my first language named "Pie"
  ☆22Feb 7, 2026Updated last week
• frozsgy / semantle-tr

  View on GitHub
  Turkish fork of Semantle
  ☆12Oct 3, 2024Updated last year
• codehag / pattern-matching-epic

  View on GitHub
  an alternative approach to pattern matching
  ☆13Jul 18, 2022Updated 3 years ago
• BennoKrojer / reasoning-over-facts

  View on GitHub
  This repository contains code for the paper "Are Pretrained Language Models Symbolic Reasoners over Knowledge?"
  ☆13Mar 23, 2021Updated 4 years ago
• dashersw / aktivite-akis-ornegi

  View on GitHub
  Node.js ile aktivite akış örneği
  ☆12Mar 23, 2016Updated 9 years ago
• strictly-lang / compiler

  View on GitHub
  strictly is a declarative programming language for interactive web-components
  ☆10Dec 2, 2023Updated 2 years ago
• jsenellart / luatorch-onnx-convert

  View on GitHub
  conversion tool to extract model from torch serialised model and convert into onnx
  ☆12May 11, 2018Updated 7 years ago
• citra-space / keplemon

  View on GitHub
  ☆19Updated this week
• usirin / layout-tree

  View on GitHub
  An abstract tree data-structure to represent windows as leaf nodes.
  ☆12Dec 25, 2022Updated 3 years ago
• SaberVM / FVM

  View on GitHub
  The Functional Virtual Machine.
  ☆14Dec 18, 2024Updated last year
• iliana / paws

  View on GitHub
  a simple pause container 🐾
  ☆13Aug 7, 2024Updated last year
• ProjectEntropy / contracts

  View on GitHub
  Solidity contracts which form the core of Project Entropy
  ☆11Nov 10, 2017Updated 8 years ago