Hartmut Pfarr (hartmut27)

hartmut27

Geek Repo

Company:Cetalison

Location:Ulm

Home Page:https://cetalison.com

Github PK Tool:Github PK Tool

Hartmut Pfarr's starred repositories

react

The library for web and native user interfaces.

Language:JavaScriptLicense:MITStargazers:226571Issues:6635Issues:13097

dbeaver

Free universal database tool and SQL client

Language:JavaLicense:Apache-2.0Stargazers:38966Issues:512Issues:17300

akka

Build highly concurrent, distributed, and resilient message-driven applications on the JVM

Language:ScalaLicense:NOASSERTIONStargazers:13015Issues:576Issues:8019

cytoscape.js

Graph theory (network) library for visualisation and analysis

Language:JavaScriptLicense:MITStargazers:9966Issues:227Issues:2748

scala-js

Scala.js, the Scala to JavaScript compiler

Language:ScalaLicense:Apache-2.0Stargazers:4570Issues:146Issues:2234

zio

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Language:ScalaLicense:Apache-2.0Stargazers:4055Issues:111Issues:2563

cats-effect

The pure asynchronous runtime for Scala

Language:ScalaLicense:Apache-2.0Stargazers:2010Issues:77Issues:976

logica

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:1717Issues:37Issues:57

scalajs-react

Facebook's React on Scala.JS

Language:ScalaLicense:Apache-2.0Stargazers:1640Issues:65Issues:534

fastparse

Writing Fast Parsers Fast in Scala

Language:ScalaLicense:MITStargazers:1088Issues:33Issues:145

swipl-devel

SWI-Prolog Main development repository

Language:CLicense:NOASSERTIONStargazers:941Issues:47Issues:753

scala-parser-combinators

simple combinator-based parsing for Scala. formerly part of the Scala standard library, now a separate community-maintained module

Language:ScalaLicense:Apache-2.0Stargazers:649Issues:33Issues:119

scastie

An interactive playground for Scala

Language:ScalaLicense:Apache-2.0Stargazers:431Issues:20Issues:453

ciao

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Language:PrologLicense:LGPL-3.0Stargazers:260Issues:21Issues:83

zio-magic

Construct ZLayers automagically (w/ helpful compile-time errors)

Language:ScalaLicense:Apache-2.0Stargazers:252Issues:9Issues:41

netbeans-website

Apache NetBeans Website

License:Apache-2.0Stargazers:245Issues:63Issues:0

cats-parse

A parsing library for the cats ecosystem

Language:ScalaLicense:MITStargazers:228Issues:16Issues:90

gral

Free Java library for displaying plots

Language:JavaLicense:GPL-3.0Stargazers:166Issues:16Issues:180

jiprolog

JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.

Language:JavaLicense:NOASSERTIONStargazers:130Issues:15Issues:24
Language:ScalaLicense:CC0-1.0Stargazers:129Issues:36Issues:7

gprolog

GNU Prolog

Language:CLicense:NOASSERTIONStargazers:99Issues:11Issues:72

nspl

scala plotting (charting, graphing) library

Language:ScalaLicense:NOASSERTIONStargazers:98Issues:2Issues:11

2p-kt

A Kotlin Multi-Platform ecosystem for symbolic AI

Language:KotlinLicense:Apache-2.0Stargazers:90Issues:3Issues:196

packages-jpl

JPL: The Prolog <-> Java interface

Language:JavaLicense:BSD-2-ClauseStargazers:53Issues:15Issues:68

projog

Prolog programming for the Java platform.

Language:JavaLicense:Apache-2.0Stargazers:34Issues:4Issues:223

tabled-prolog-book

Programming in Tabled Prolog by David S Warren

interprolog

Java <-> XSB Prolog bridge library

Language:JavaLicense:Apache-2.0Stargazers:12Issues:1Issues:3

dynamic

A Scala library that allows copying a case class using a dynamic property name

Language:ScalaLicense:Apache-2.0Stargazers:11Issues:3Issues:1

logtalk-intellij

A Logtalk plugin for IntelliJ

Language:JavaLicense:Apache-2.0Stargazers:3Issues:0Issues:0