A Chrome/Firefox extension that shows LaTeX formulas in EverNote's web interface using MathJax.
☆26Aug 5, 2012Updated 13 years ago
Alternatives and similar repositories for everTex
Users that are interested in everTex are comparing it to the libraries listed below
Sorting:
- Cyclone Jet Rocket is a DDoS tool for System Security Technology course☆11Jun 5, 2017Updated 8 years ago
- ☆10Jan 20, 2023Updated 3 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- ☆11Oct 14, 2022Updated 3 years ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆16Apr 3, 2025Updated 11 months ago
- A simple GIT post-receive hook script for notifying a room in HipChat.☆43Jul 9, 2015Updated 10 years ago
- ☆10Feb 25, 2026Updated last week
- Config for Zed editor to work with python☆14Feb 11, 2026Updated 3 weeks ago
- A high performance I/O library for deep learning in Julia, based on the PyTorch WebDataset library☆14Dec 18, 2025Updated 2 months ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- Retrieves meditation data from insighttimer.com and posts the data points to beeminder for tracking.☆13Feb 27, 2016Updated 10 years ago
- Official Haskell port of Sqids. Generate short unique IDs from numbers.☆11Mar 8, 2024Updated 2 years ago
- Liability Estimation for Case-Control Studies☆10Sep 26, 2020Updated 5 years ago
- ☆12Jan 22, 2020Updated 6 years ago
- Web frontend for Myria☆12Sep 30, 2020Updated 5 years ago
- A simple docker wrapper (docker, docker-machine & docker-compose) for fish-shell.☆13May 15, 2016Updated 9 years ago
- Probabilistic single-cell pseudotime with Edward+Tensorflow☆12Oct 5, 2017Updated 8 years ago
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Dec 16, 2021Updated 4 years ago
- ☆14Nov 9, 2017Updated 8 years ago
- Installing, packaging, deploying and managing OpenCog☆22Feb 8, 2026Updated last month
- Minimal example of Kotlin/Native with NCurses☆12Nov 20, 2022Updated 3 years ago
- Common Lisp PNG creation library☆14Mar 12, 2015Updated 10 years ago
- Impact of typos and common misspellings on LLM task performance.☆18Mar 22, 2024Updated last year
- An Efficient Multiple-Testing Adjustment for eQTL Studies that Accounts for Linkage Disequilibrium between Variants☆11Oct 24, 2019Updated 6 years ago
- WebGym: Web-browser-based tasks for RL Agents☆24Feb 4, 2021Updated 5 years ago
- Web application for course on Formal Reasoning About Programs☆17Sep 17, 2025Updated 5 months ago
- Explicit Alignment Objectives for Multilingual Bidirectional Encoders☆14Apr 14, 2021Updated 4 years ago
- ☆15Oct 10, 2021Updated 4 years ago
- *end of life* // Manage your PPA // new version=> https://github.com/linuxhubit/ppaextender☆13Nov 21, 2020Updated 5 years ago
- ☆13Feb 2, 2023Updated 3 years ago
- A circular doubly-linked list implementation for Elixir☆15May 30, 2023Updated 2 years ago
- Ghostly: Code for the AI compo case at The Gathering 2017☆17Jun 8, 2021Updated 4 years ago
- AtomSpace Graph Database RocksDB backend☆19Jan 21, 2026Updated last month
- Genetic Algorithm Feature Engineering☆15Oct 3, 2017Updated 8 years ago
- FFPopSim is a collection of C++ classes and a Python interface for efficient simulation of large populations, in particular when the prod…☆14Oct 14, 2025Updated 4 months ago
- Code for implementing Mendelian randomization investigations☆20Nov 9, 2015Updated 10 years ago
- A Java aspect to extend the logging MDC with annotation-defined values and method arguments☆18Jul 20, 2025Updated 7 months ago
- My implementation of LASER architecture in Fairseq☆12Oct 6, 2020Updated 5 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Jul 24, 2016Updated 9 years ago