Giters
Sebastijan Dumancic (sebdumancic)

sebdumancic

Geek Repo

69

followers

47

following

486

stars

Company:Delft University of Technology

Home Page:https://sebdumancic.github.io/

Github PK Tool:Github PK Tool

Organizations
AlgTUDelft
Herb-AI

Sebastijan Dumancic's starred repositories

langchain

🦜🔗 Build context-aware reasoning applications

Language:Jupyter NotebookLicense:MITStargazers:91169Issues:678Issues:7440

guidance

A guidance language for controlling large language models.

Language:Jupyter NotebookLicense:MITStargazers:18529Issues:116Issues:518

outlines

Structured Text Generation

Language:PythonLicense:Apache-2.0Stargazers:8009Issues:47Issues:540

symbolicai

Compositional Differentiable Programming Library

Language:PythonLicense:BSD-3-ClauseStargazers:948Issues:22Issues:12

Catalyst.jl

Chemical reaction network and systems biology interface for scientific machine learning (SciML). High performance, GPU-parallelized, and O(1) solvers in open source software.

Language:JuliaLicense:NOASSERTIONStargazers:453Issues:16Issues:353

Metatheory.jl

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

Language:JuliaLicense:MITStargazers:352Issues:11Issues:120

concept-graphs

Official code release for ConceptGraphs

Language:PythonLicense:MITStargazers:351Issues:9Issues:57

Dojo.jl

A differentiable physics engine for robotics

Language:JuliaLicense:MITStargazers:304Issues:6Issues:52

scallop

Framework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229

Language:RustLicense:MITStargazers:181Issues:10Issues:20

LLaMPPL

A domain-specific probabilistic programming language for modeling and inference with language models

Language:PythonLicense:MITStargazers:109Issues:5Issues:5

Perspective_Julia_for_Biologists

Online material for the Perspective: "Julia for Biologists" presented at JuliaCon 2021: https://www.youtube.com/watch?v=gRj7E5kYG1I

Stargazers:94Issues:8Issues:1

branches

Prototype advanced LLM algorithms for reasoning and planning.

Language:TypeScriptLicense:MITStargazers:90Issues:9Issues:8

langsuite

Official Repo of LangSuitE

Language:PythonLicense:MITStargazers:75Issues:5Issues:0

cs704

CS 704 course website - Principles of Programming Languages

Language:TeXStargazers:68Issues:10Issues:5

egglog0

Datalog + Egg = Good

Language:RustStargazers:65Issues:5Issues:2

Neurosymbolic_Tutorial

Python notebooks for a tutorial on neurosymbolic programming

Language:Jupyter NotebookStargazers:58Issues:1Issues:0

AbcDatalog

Datalog that's as easy as ABC.

Language:JavaLicense:NOASSERTIONStargazers:46Issues:3Issues:6

Satisfiability.jl

Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.

Language:JuliaLicense:MITStargazers:27Issues:4Issues:24

code

Language:PrologLicense:GPL-3.0Stargazers:27Issues:2Issues:0

enumerateCFG

Code for enumeration from a CFG

Language:PythonStargazers:18Issues:4Issues:1

SLASH

Scalable Neural-Probabilistic Answer Set Programming

Language:PythonLicense:MITStargazers:17Issues:4Issues:1

minecraft-schematics-dataset

Minecraft schematics dataset

Language:Jupyter NotebookStargazers:16Issues:2Issues:12

CS190I

Program Synthesis

Language:TeXStargazers:13Issues:4Issues:0

numsynth-aaai23

C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.

Language:PrologStargazers:12Issues:2Issues:0

Turing-Workshop

Turing Workshop

Language:Jupyter NotebookLicense:CC-BY-SA-4.0Stargazers:12Issues:4Issues:0

ai4code_repair

AI4Code syntax repair tutorial for IAP 2023

Language:Jupyter NotebookStargazers:8Issues:2Issues:0

list_function_250

A benchmark set of functions over lists of natural numbers

Language:PythonStargazers:7Issues:4Issues:0

bustle

Bustle: Botton-up Program Synthesis Through Learning-Guided Exploration

Language:PythonLicense:BSD-3-ClauseStargazers:7Issues:3Issues:0

chaptgt-failures

ChatGPT failure archive

Stargazers:3Issues:2Issues:0

ReAnalogy

Code for our Dataset published at ICJAI 2023 Workshop on Knowledge-Based Compositional Generalization

Language:PythonStargazers:1Issues:1Issues:0