Alternatives and similar repositories for hilbert

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

• the-little-prover / the-little-prover.github.io

  View on GitHub
  ☆11May 18, 2016Updated 9 years ago
• txus / fuby

  View on GitHub
  Fuby is a hybrid functional/object-oriented programming language on the Rubinius VM
  ☆62Feb 13, 2014Updated 12 years ago
• allenai / allennlp-website

  View on GitHub
  The public website for AllenNLP.
  ☆10Feb 3, 2022Updated 4 years ago
• jdtsmith / comint-fold

  View on GitHub
  Fold input + output blocks in Emacs comint shells
  ☆11Oct 8, 2025Updated 4 months ago
• mikesmullin / coffee-templates

  View on GitHub
  Fastest Minimalist CoffeeScript/JavaScript CoffeeCup/Handlebars/Mustache template engine.
  ☆46Jan 13, 2013Updated 13 years ago
• azu / inkdrop-excalidraw

  View on GitHub
  Allows Inkdrop to embed Excalidraw contents to a note.
  ☆15Dec 20, 2021Updated 4 years ago
• karur4n / rubyfuri

  View on GitHub
  漢字かな交じり文に、ひらがなとローマ字のふりがな（ルビ）を付けます。
  ☆11Feb 24, 2016Updated 9 years ago
• gogotanaka / Primes

  View on GitHub
  Be colorful! Be happy!. コレ（↓）をめっちゃカラフルにしたい. p.s. 色表示が大雑把になってる....
  ☆19Sep 7, 2015Updated 10 years ago
• zhenhua-wang / emacs-xrandr

  View on GitHub
  Use emacs to configure xrandr.
  ☆10Oct 12, 2023Updated 2 years ago
• rarilurelo / BinaryNetConvolution

  View on GitHub
  Implement BinaryNet of CNN with chainer
  ☆11May 5, 2016Updated 9 years ago
• gogotanaka / maxwell

  View on GitHub
  🗡 Maxwell makes web scraping more simpler and faster with Ruby.
  ☆35Jan 14, 2017Updated 9 years ago
• lixiangqi / medic

  View on GitHub
  Medic Package
  ☆10Nov 8, 2015Updated 10 years ago
• mixi-inc / triaina

  View on GitHub
  Triaina provides JSON-RPC based communication protocol between web client and native client.
  ☆69May 15, 2018Updated 7 years ago
• gogotanaka / Rubype

  View on GitHub
  Super simple, clean. Contracts for Ruby
  ☆375Sep 5, 2016Updated 9 years ago
• larrylv / teeceepee

  View on GitHub
  mini-TCP stack in Ruby, for fun
  ☆10Nov 26, 2015Updated 10 years ago
• langston-barrett / contract.el

  View on GitHub
  Racket-style higher-order contracts for Emacs Lisp
  ☆16Jun 20, 2021Updated 4 years ago
• halogenandtoast / reconstructing-ruby

  View on GitHub
  Ruby implementation for the blog post series http://www.halogenandtoast.com/reconstructing-ruby-an-introduction/
  ☆20Feb 17, 2015Updated 10 years ago
• janlelis / unicode-x

  View on GitHub
  Unicode Micro Libraries for Ruby
  ☆39Sep 9, 2025Updated 5 months ago
• beatinaniwa / awesome-restaurants

  View on GitHub
  Awesome restaurants in Japan
  ☆14Apr 17, 2016Updated 9 years ago
• acgessler / cpp.js

  View on GitHub
  node.js-compatible implementation of the C Preprocessor (cpp) in Javascript
  ☆20Jan 16, 2017Updated 9 years ago
• okomok / strcat

  View on GitHub
  TeX files for summary of category theory
  ☆15Apr 9, 2016Updated 9 years ago
• karthink / calc-transient

  View on GitHub
  Transient interface for the Emacs calculator
  ☆16Oct 17, 2024Updated last year
• satoshun / AndroidEvents

  View on GitHub
  AndroidEvents is Sample Android app
  ☆11Sep 15, 2015Updated 10 years ago
• wusuopu / ruby-c-extension-sample

  View on GitHub
  ☆19Sep 22, 2014Updated 11 years ago
• todesking / unsafety-zoo.ts

  View on GitHub
  Various ways to bring unsoundness to TypeScript
  ☆15Apr 28, 2021Updated 4 years ago
• ksss / rilo

  View on GitHub
  Micro texteditor
  ☆15Aug 3, 2016Updated 9 years ago
• LivelyKernel / ContextJS

  View on GitHub
  Context-oriented Programming (COP) for JavaScript
  ☆15Nov 18, 2016Updated 9 years ago
• ikeay / vinemv

  View on GitHub
  Vine動画でミュージックビデオを自動生成するWebアプリケーション
  ☆31Mar 7, 2016Updated 9 years ago
• parrot / cardinal

  View on GitHub
  Ruby on Parrot
  ☆61Jun 6, 2019Updated 6 years ago
• tric / trick2015

  View on GitHub
  The 2nd Transcendental Ruby Imbroglio Contest for rubyKaigi
  ☆87Dec 23, 2015Updated 10 years ago
• xuchunyang / github-notifier.el

  View on GitHub
  Displays your GitHub notifications unread count in Emacs mode-line
  ☆33Apr 21, 2018Updated 7 years ago
• shioyama / invisible

  View on GitHub
  Override methods while maintaining their original visibility
  ☆36Apr 12, 2020Updated 5 years ago
• ruby-numo / numo-linalg

  View on GitHub
  Linear Algebra Library for Ruby/Numo::NArray
  ☆43Aug 25, 2025Updated 5 months ago
• eiel / github_scouter

  View on GitHub
  ☆66Dec 15, 2023Updated 2 years ago
• smarr / SOM

  View on GitHub
  SOM - Simple Object Machine
  ☆24Aug 31, 2025Updated 5 months ago
• mmasaki / Reudy19

  View on GitHub
  Ruby1.9で動作する人工無脳ロイディ
  ☆26May 16, 2018Updated 7 years ago
• smarr / TruffleSOM

  View on GitHub
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆37Feb 7, 2026Updated last week
• eregon / path

  View on GitHub
  a Path manipulation library
  ☆34Jan 16, 2026Updated 3 weeks ago
• qnighy / logic-solver-rs

  View on GitHub
  ☆46Jan 9, 2023Updated 3 years ago