lyxell

alster

Experimental text editor

dolphinscheduler

Apache DolphinScheduler is a distributed and extensible workflow scheduler platform with powerful DAG visual interfaces, dedicated to solving complex job dependencies in the data pipeline and providing various types of jobs available `out of the box`.

karate

Test Automation Made Simple

logifix

Fixing static analysis violations in Java source code using Datalog

nway

Algorithms for n-way diffing and merging of files with a common ancestor

sjp

Java parser written in Datalog

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

lyxell/logifix

Fixing static analysis violations in Java source code using Datalog

lyxell/sjp

Java parser written in Datalog

lyxell/nway

Algorithms for n-way diffing and merging of files with a common ancestor

lyxell/alster

Experimental text editor

lyxell/dolphinscheduler

Apache DolphinScheduler is a distributed and extensible workflow scheduler platform with powerful DAG visual interfaces, dedicated to solving complex job dependencies in the data pipeline and providing various types of jobs available `out of the box`.

lyxell/karate

Test Automation Made Simple

lyxell/nvim-treesitter-souffle

Tree-sitter based syntax highlighting in Neovim for Soufflé

lyxell/souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

lyxell/logifix-demo

lyxell/Payara

Payara Server is an open source middleware platform that supports reliable and secure deployments of Java EE (Jakarta EE) and MicroProfile applications in any environment: on premise, in the cloud or hybrid.

lyxell/redisson

Redisson - Redis Java client with features of In-Memory Data Grid. Over 50 Redis based Java objects and services: Set, Multimap, SortedSet, Map, List, Queue, Deque, Semaphore, Lock, AtomicLong, Map Reduce, Publish / Subscribe, Bloom filter, Spring Cache, Tomcat, Scheduler, JCache API, Hibernate, MyBatis, RPC, local cache ...

lyxell/reproduce-sorald-experiments

lyxell/slides-kth-workshop

lyxell/spoon

Spoon is a metaprogramming library to analyze and transform Java source code (up to Java 15). :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.