dtonhofer

dtonhofer's Stars

• antlr/antlr4

  ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

  Language:Java17.4k3712.3k3.3k

• tink-crypto/tink

  Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and hard(er) to misuse.

  Language:Java13.5k3324691.2k

• remkop/picocli

  Picocli is a modern framework for building powerful, user-friendly, GraalVM-enabled command line apps with ease. It supports colors, autocompletion, subcommands, and more. In 1 source file so apps can include as source & avoid adding a dependency. Written in Java, usable from Groovy, Kotlin, Scala, etc.

  Language:Java5k441.5k426

• quil/quil

  Main repo. Quil source code.

  Language:Clojure3k73262166

• hanslub42/rlwrap

  A readline wrapper

  Language:C2.7k43140152

• candid82/joker

  Small Clojure interpreter, linter and formatter.

  Language:Go1.7k3124967

• SWI-Prolog/swipl-devel

  SWI-Prolog Main development repository

  Language:C1k49771177

• antlr/stringtemplate4

  StringTemplate 4

  Language:Java96556184231

• coin-or/Cbc

  COIN-OR Branch-and-Cut solver

  Language:C++84141487117

• bhauman/rebel-readline

  Terminal readline library for Clojure dialects

  Language:Clojure6871619438

• JetBrains/jediterm

  Pure Java Terminal Emulator. Works with SSH and PTY.

  Language:Java68262106172

• klaudiosinani/awesome-prolog

  Curated list of Prolog packages and resources

  510281836

• permazen/permazen

  Language-Natural Persistence Layer for Java

  Language:HTML405223835

• jakemcc/test-refresh

  Refreshes and reruns clojure.tests in your project.

  Language:Clojure39376428

• pjstadig/humane-test-output

  Humane test output for clojure.test.

  Language:Clojure31492321

• ShinyEd/intro-stats

  Shiny apps for introductory statistics

  Language:R245201225

• abrt/abrt

  Automatic bug detection and reporting tool

  Language:C2412497577

• apache/qpid-proton

  Mirror of Apache Qpid Proton

  Language:C++227370212

• triska/clpz

  Constraint Logic Programming over Integers

  Language:Prolog189113016

• triska/clpfd

  Constraint Logic Programming over Finite Domains

  Language:Prolog1709111

• chuffed/chuffed

  The Chuffed CP solver

  Language:C++98138442

• CymaticLabs/Unity3D.Amqp

  AMQP client library for Unity 3D supporting RabbitMQ

  Language:C#9772021

• erdos/erdos.assert

  power assert macro for clojure

  Language:Clojure85512

• sergeybratus/HammerPrimer

  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson

  Language:C79655

• SWI-Prolog/swipl-wasm

  Run SWI-Prolog in your browser using WebAssemply

  Language:HTML76796

• screepers/cppreeps

  WASM C++ Screeps API and utilities pack (beta, proof-of-concepts)

  Language:C++54719

• apache/qpid-proton-j

  Mirror of Apache Qpid Proton-J

  Language:Java3319062

• DeMaCS-UNICAL/I-DLV

  The new intelligent grounder of the logic-based Artificial Intelligence system DLV

  Language:HTML221540

• wysiib/plspec

  Language:Prolog68130

• edisonm/assertions

  Ciao Assertion Reader for SWI-Prolog

  Language:Prolog4400