nvitucci

nvitucci's Stars

• choldgraf/nbclean

  A collection of tools to preprocess, modify, and otherwise clean up Jupyter Notebooks

  Language:Python645

• potassco/pddl-instances

  🌍 PDDL instances covering the International Planning Competitions

  Language:Common Lisp11456

• dosydon/axiom_benchmarks

  PDDL planning problems with derievd predicates and axioms.

  Language:C++73

• AI-Planning/planning-as-a-service

  The newly improved planner (and more) in the cloud.

  Language:Python318

• yarox/pddl-examples

  pddl examples including strips, numeric, and time domains.

  329

• AI-Planning/planutils

  General library for setting up linux-based environments for developing, running, and evaluating planners.

  Language:Shell10731

• javasoze/clue

  command line tool for Apache Lucene

  Language:Java16149

• microth/mateplus

  Extension of the mate-tools NLP pipeline

  Language:Java6716

• swabhs/open-sesame

  A frame-semantic parsing system based on a softmax-margin SegRNN.

  Language:Python23065

• stickfigure/blog

  Jeff Schnitzer's Blog

  53920

• sneakers-the-rat/paper-feeds

  A FastAPI web server for creating RSS feeds for scholarly journals with the magic of adversarial interoperability

  Language:Python634

• edwardtufte/tufte-css

  Style your webpage like Edward Tufte’s handouts.

  Language:HTML6k459

• lark-parser/lark-language-server

  Provides a language server for grammars based on Lark

  Language:Python176

• neo4j/cypher-language-support

  Neo4j's Cypher Language support

  Language:TypeScript357

• astral-sh/ruff

  An extremely fast Python linter and code formatter, written in Rust.

  Language:Rust33.2k1.1k

• HazyResearch/meerkat

  Creative interactive views of any dataset.

  Language:Python82943

• togethercomputer/RedPajama-Data

  The RedPajama-Data repository contains code for preparing large datasets for training large language models.

  Language:Python4.6k350

• Knio/dominate

  Dominate is a Python library for creating and manipulating HTML documents using an elegant DOM API. It allows you to write HTML pages in pure Python very concisely, which eliminate the need to learn another template language, and to take advantage of the more powerful features of Python.

  Language:Python1.7k108

• jennybc/jeremy-howard-posit-conf-2023

  Notebook seen in Jeremy Howard's keynote at posit::conf(2023)

  Language:Jupyter Notebook191

• yaelwrites/Big-Ass-Data-Broker-Opt-Out-List

  4.4k158

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.7k427

• michael-simons/biking3

  Database schema and Flask application for tracking mileages on bikes

  Language:HTML91

• wi-photos/Panda3D-Asteroids-Extended

  Extended version of the Panda3D Asteroids sample with music, scoring, lives, and sound effects.

  Language:Python3

• TheNuSan/Bonzomatic

  Live shader coding tool and Shader Showdown workhorse

  Language:C++829

• floodyberry/carmack

  John Carmack Archive

  Language:PHP6825

• jagregory/abrash-black-book

  Markdown source for Michael Abrash's Graphics Programming Black Book

  Language:CSS4.5k330

• llm-attacks/llm-attacks

  Universal and Transferable Attacks on Aligned Language Models

  Language:Python3.5k481

• thompsonb/prism

  MT Evaluation in Many Languages via Zero-Shot Paraphrasing

  Language:Python10223

• RasaHQ/paraphraser

  Tool to generate paraphrases of sentences in many languages.

  Language:Python7821

• hrs/grammar-based-sentence-generator

  Creates a random sentence based on a defined grammar and vocabulary.

  Language:Common Lisp63