1nfn8zr0's Stars
RealityStop/Bolt.Addons.Community
A community-driven project for extending Unity Bolt
maxdee/alc_freeliner
live geometric animation tool powerhouse
shapely/shapely
Manipulation and analysis of geometric objects
causalgraph/causalgraph
A python package for modeling, persisting and visualizing causal graphs embedded in knowledge graphs.
leanprover/lean4
Lean 4 programming language and theorem prover
IDNI/tau-lang
Slevinski/signmaker
write signs in any sign language with the SignWriting script
Slevinski/signwriting_2010_fonts
TrueType fonts with source SVG files for written sign language in the SignWriting script based on the ISWA 2010
plantuml/plantuml
Generate diagrams from textual description
rahulnyk/knowledge_graph
Convert any text to a graph of knowledge. This can be used for Graph Augmented Generation or Knowledge Graph based QnA
jtextor/dagitty
Graphical analysis of structural causal models / graphical causal models.
moagstar/graphml2mermaid
Simple script to convert graphml files (yEd) to mermaid syntax
plastex/plastex
plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.
PatrickMassot/leanblueprint
plasTeX plugin to build formalization blueprints.
kronpano/BrowserSynth
A browser implementation of StructureSynth with more primitives, non-uniform scaling of all primitives and object export for extrenal rendering
ghuertaramos/PlantPhylomoji
Dataset and scripts to create a Phylogeny of Plant Emojis
LiciaHe/threadPlotter
TerraME/terrame
TerraME is a programming environment for spatial dynamical modelling
i4h/latex-systemdynamics
A Latex package for drawing SD diagrams using tikz
ejain/n-of-1-ml
modularml/mojo
The Mojo Programming Language
devilismyfriend/PXL8
Pixel art diffusion
sedthh/pyxelate
Python class that generates pixel art from images
xinntao/Real-ESRGAN
Real-ESRGAN aims at developing Practical Algorithms for General Image/Video Restoration.
facebookresearch/demucs
Code for the paper Hybrid Spectrogram and Waveform Source Separation
logictensornetworks/logictensornetworks
Deep Learning and Logical Reasoning from Data and Knowledge
davidenitti/DC
Probabilistic logic language for inference, planning and learning in static and dynamic domains
CarlGao4/Demucs-Gui
A GUI for music separation AI demucs
DGS-Korpus/HamNoSys4TeX
Use HamNoSys (Hamburg Notation System for Sign Languages) in LaTeX documents.
obsidianmd/obsidian-api
Type definitions for the latest Obsidian API.