Lists (1)
Stars
A curated list of 120+ LLM libraries category wise.
Customize, control, and enhance LLM generation with logits processors, featuring visualization capabilities to inspect and understand state transitions
Libro COMPUTACIÓN, CÁLCULO LAMBDA Y PROGRAMACIÓN FUNCIONAL
A powerful obfuscator for JavaScript and Node.js
A grep-like tool which understands source code syntax and allows for manipulation in addition to search
DuckDB is an analytical in-process SQL database management system
Event Driven Orchestration & Scheduling Platform for Mission Critical Applications
A new visualisation tool for analysing optimisation algorithms
Code for our paper on test time finetuning for solving optimization problems via LLMs
This library provides a comprehensive suite of algorithms to solve the Traveling Salesman Problem (TSP), ranging from Exact Algorithms, Heuristics, Metaheuristics and Reinforcement Learning techniq…
Get your documents ready for gen AI
A Collection on Large Language Models for Optimization
LLM Transparency Tool (LLM-TT), an open-source interactive toolkit for analyzing internal workings of Transformer-based language models. *Check out demo at* https://huggingface.co/spaces/facebook/l…
A coding agent for open models like Kimi K3
Must-read Papers on Large Language Model (LLM) as Optimizers and Automatic Optimization for Prompting LLMs.
A simple to use synthetic social network data generator
Ejercicio del Bootcamp de Ciencias de la Computación - Interprete en Python
Estimators for the entropy and other information theoretic quantities of continuous distributions
Implement the-state-of-the-art meta-heuristic algorithms using python (numpy)
Introducción a las redes complejas en Python. PyConES 2022.
A curated list of cryptography papers, articles, tutorials and howtos.
Python programs, usually short, of considerable difficulty, to perfect particular skills.
List of Computer Science courses with video lectures.
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
Readings on computational logic, interactive theorem proving and functional programming.