chanind/tensor-theorem-prover chanind/tensor-theorem-prover

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Rust
  • License
    MIT License
  • Created about 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chanind/tensor-theorem-prover
github

chanind

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

First-order logic theorem prover supporting unification with approximate vector similarity

More Repositories

1

hanzi-writer

Chinese character stroke order animations and practice quizzes
TypeScript
3,447
star
2

hanzi-writer-data

The data used by Hanzi Writer
Python
475
star
3

curve-matcher

Curve matching using Fréchet distance and Procrustes analysis in JS
TypeScript
144
star
4

hanzi-writer-miniprogram

Wechat Miniprogram plugin for Hanzi Writer (微信小程序组件)
JavaScript
83
star
5

frame-semantic-transformer

Frame Semantic Parser based on T5 and FrameNet
Python
50
star
6

cn-grammar-matcher

A tool to find grammar patterns in Chinese text
JavaScript
24
star
7

hanzi-writer-data-jp

The data used by Hanzi Writer for Japanese
Python
19
star
8

mathlib-changelog

Lean
10
star
9

amr-logic-converter

Convert Abstract Meaning Representation (AMR) into first-order logic
Python
8
star
10

chanind.github.io

JavaScript
7
star
11

linear-relational

Linear Relational Embeddings (LREs) and Linear Relational Concepts (LRCs) for LLMs in PyTorch
Python
6
star
12

word2vec-gender-bias-explorer

A tool to show gender bias in words based on NLP word embeddings from Google News
TypeScript
5
star
13

causal-tracer

Causal tracing for language models
Python
4
star
14

jest-memory-leak-demo

A demo of a set of tests which leak memory in Jest
JavaScript
3
star
15

pinyin-tone-converter

TypeScript
3
star
16

reddit-words

What have Spacy's sense2vec 2019 word vectors learned from Reddit?
TypeScript
3
star
17

penman-js

Abstract Meaning Representation (AMR) parser and generator for Javascript
TypeScript
3
star
18

rails-comet-chatroom

A simple chatroom application written using Come (Ajax push) on Rails with JRuby and the Atmosphere plugin
Ruby
3
star
19

hn_post_time_analysis

Hacker News Posting Time Analysis Data
Ruby
2
star
20

linear-relational-concepts

Python
2
star
21

chess-flashcards

Simple flashcards app for studying chess positions
TypeScript
2
star
22

sanguosha-english

A simple website with English translations of Sanguosha (三国杀) cards
CoffeeScript
1
star
23

DrQueueRuby19Bindings

Dr Queue Bindings Gem updated for Ruby 1.9
Ruby
1
star
24

Meet-in-the-Middle

Website which shows visitors things to do in the middle of 2 places
1
star
25

Mootools-Expandable-Columns

1
star
26

amr-vscode

VSCode language definition for abstract meaning representation (AMR)
1
star
27

aoc-2019

advent of code 2019 solutions
TypeScript
1
star
28

nodechat

Chat client using Node.js + Coffeescript + Socket.io + Backbone.js + MongoDB
CoffeeScript
1
star
29

lc0_colab_notebooks

A collection of colab notebooks demonstrating how to perform various development, training, and testing tasks for leela chess zeo (lc0) in Google Colab
Jupyter Notebook
1
star
30

font-generation

Python
1
star
31

pinyin-toolkit-bandaid

Helper to create Pinyin Toolkit compatible HTML tone marks for Anki 2.1
TypeScript
1
star
32

fuzzy-reasoner

Simple symbolic reasoner which supports fuzzy unification in Python
Python
1
star
33

tone-analyzer

TypeScript
1
star