iamironrabbit / monlam-dictionaryLinks
Monlam Tibetan English Dictionary
☆11Updated 9 years ago
Alternatives and similar repositories for monlam-dictionary
Users that are interested in monlam-dictionary are comparing it to the libraries listed below
Sorting:
- A Scheduling Problem in Prolog☆12Updated 9 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆34Updated this week
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- Neural-Network Guided Expression Transformation☆13Updated 7 years ago
- Exampwe of ewwonyenyonyuns code:☆15Updated 6 years ago
- Toki Pona Visual Dictionary with English, Italian and Russian translation in pictures☆32Updated 3 years ago
- Metamath verifier in Python☆40Updated 6 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 6 years ago
- A simplicial complex and hypergraph visualization tool similar to Graphviz.☆39Updated 6 years ago
- Idris Version Manager☆16Updated 9 months ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 4 years ago
- A semantic Extension of TeX/LaTeX☆54Updated this week
- My PhD thesis, titled "Reasonably Programmable Syntax"☆15Updated 7 years ago
- An LL parser for extracting information from Wiki text, particularly Wiktionary.☆49Updated 2 years ago
- common language and mathematics processing algorithms, in Rust☆29Updated last year
- Resources for making sense of topology and its concepts☆18Updated 5 years ago
- Modifications of Niles Johnson's Hopf Fibration drawing code☆38Updated 11 years ago
- A textbook for Conway's Game of Life.☆35Updated 3 years ago
- Rust implementation of sequence alignment / Levenshtein distance by A* acceleration of the DP algorithm☆22Updated 8 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆77Updated 7 years ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 3 years ago
- Tools for the grammar and writing system of the Ithkuil constructed language☆27Updated 2 years ago
- A toolkit for higher-dimensional diagram rewriting.☆18Updated 3 years ago
- Learn Lean and topology☆25Updated 2 years ago
- Control theory in Haskell: Data structures, algorithms and adapters☆80Updated 6 years ago
- Art of Prolog Code☆36Updated 6 years ago
- Extraction and Interface for Oxford English Dictionary (OED) 1st Edition☆22Updated 12 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- Relation Memory Network☆17Updated 7 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year