Natural Langugae Processing toolbox
☆15Sep 22, 2022Updated 4 years ago
Alternatives and similar repositories for smart-nlp
Users that are interested in smart-nlp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An ontology of space situational awareness.☆11Mar 23, 2023Updated 3 years ago
- A repository to share the official LISA science orbit files with the LISA consortium☆11Jun 16, 2026Updated 4 months ago
- Code for Cornell MAE4060/5065 - Introduction to Spaceflight Mechanics☆14May 28, 2024Updated 2 years ago
- Web-based Space Mission Visualization software☆33May 16, 2022Updated 4 years ago
- Collection of gravity models designed for use by astrodynamicists☆16Jan 12, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Contains code for training NLP models that takes in text and predicts concepts & keywords from a list of standardized NASA keywords. Code…☆22Dec 8, 2022Updated 3 years ago
- A fork of Cerberus C adding a Lean 4 port of the semantics☆16Updated this week
- 📟 Logging utilities for spaCy☆12Oct 26, 2026Updated last week
- Break rotational letter substitution (ROT) encoded text, right from your terminal.☆13Jan 5, 2023Updated 3 years ago
- Relative Orbit Design and Visualisation in Python!☆17Nov 27, 2021Updated 4 years ago
- Autonomous Theorem Prover for First Order Predicate Logic☆12Jun 29, 2020Updated 6 years ago
- ☆10Feb 10, 2016Updated 10 years ago
- Identifying Near-Earth Asteroids (NEAs) in the Zwicky Transient Facility (ZTF) data with deep learning☆19May 1, 2023Updated 3 years ago
- 📚 Build knowledge bases for RAG☆31Apr 20, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Benchmark based on the Logical Foundations volume of [Software Foundations](https://softwarefoundations.cis.upenn.edu/)☆13Feb 20, 2026Updated 8 months ago
- An asteroid data visualization based on NASA's NEO data☆29Aug 23, 2025Updated last year
- Python wrapper for UMLS REST API☆10Dec 17, 2018Updated 7 years ago
- Python implementation of the base122 binary-to-text encoding☆10Aug 19, 2022Updated 4 years ago
- Language comparison project☆14Sep 1, 2026Updated 2 months ago
- POla DOkumen Teknik ElekRo UnSoed☆10Oct 17, 2026Updated 2 weeks ago
- Lean 4 Markdown rendering library — types, rendering functions, and Represent typeclass☆14Jul 16, 2026Updated 3 months ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- ONgDB Browser is a fork of the Neo4j® Browser.☆11Jan 12, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SynthTL: Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers☆12Sep 20, 2024Updated 2 years ago
- Advanced ESP32 Libabry for DWIN DGUS T5L HMI Displays☆12Oct 8, 2024Updated 2 years ago
- Quasi-Newton Algorithm for Stochastic Optimization☆11May 20, 2022Updated 4 years ago
- Python substitute and transposition ciphers including Vigenère Cipher, Rail Fence Cipher, Caesar Cipher☆12Jul 16, 2021Updated 5 years ago
- ETH-SF Winner☆11Nov 19, 2020Updated 5 years ago
- The Bloomberg Terminal for Prediction Markets☆14Oct 25, 2026Updated last week
- Getting a Matrix Keypad working via Python. Works for 3x4 keypads & 4x4 keypads Also supports Raspberry Pi's GPIO, or the use of an I2C p…☆10Aug 21, 2022Updated 4 years ago
- Listen. Write. Speak. Read. Think.☆10Apr 15, 2022Updated 4 years ago
- Satellite attitude simulator, equipped with reaction wheels and magnetic torquers☆11Mar 10, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- synthetic data for ml☆25Jan 30, 2025Updated last year
- Arduino library to implement a countdown clock (in software by polling, no hardware timer).☆15Jan 15, 2026Updated 9 months ago
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆16Apr 17, 2026Updated 6 months ago
- This is a repository of an OpenAI Gym environment for tasking Space Situational Awareness Sensors and some associated agents.☆22Jan 30, 2022Updated 4 years ago
- ☆10Sep 18, 2025Updated last year
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆14Oct 15, 2026Updated 3 weeks ago
- ☆15Nov 21, 2025Updated 11 months ago