joewatt95

joewatt95's Stars

• eyereasoner/eye-js

  A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.

  Language:TypeScript395

• eyereasoner/eye

  Euler Yet another proof Engine

  Language:HTML12417

• Orcpub/orcpub

  Code for Dungeon Master's Vault Community Edition

  Language:Clojure212106

• leonoel/cloroutine

  Coroutine support for clojure

  Language:Clojure23010

• mentat-collective/emmy

  The Emmy Computer Algebra System.

  Language:Clojure40023

• mhuebert/maria

  A ClojureScript coding environment for beginners.

  Language:Clojure47234

• viebel/klipse

  Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.

  Language:HTML3.1k148

• kalai-transpiler/kalai

  A source-to-source transpiler to convert Clojure to multiple target languages (Rust, C++, Java, ...)

  Language:Clojure22917

• AbhinavOmprakash/luna

  A DSL that translates to regex

  Language:Clojure1422

• wotbrew/relic

  Functional relational programming for Clojure(Script).

  Language:Clojure4087

• Engelberg/instaparse

  Language:Clojure2.7k149

• rm-hull/wam

  Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction

  Language:Clojure261

• rm-hull/jasentaa

  A parser combinator library for Clojure and ClojureScript

  Language:Clojure666

• rm-hull/infix

  A Clojure library for expressing LISP expressions as infix rather than prefix notation

  Language:Clojure10712

• bergmannjg/leanCurl

  Lean 4 bindings to libcurl

  Language:Lean7

• JoeyLupo/cryptolib

  Language:Lean132

• BenediktPeterseim/BabyGiry

  Language:Lean31

• jeswr/RDF.lean

  An RDF Library for Lean4

  Language:Rust4

• verse-lab/lean-ssr

  LeanSSR: an SSReflect-Like Tactic Language for Lean

  Language:Lean31

• aaronallen8455/donuts

  A GHC plugin for loops and mutability

  Language:Haskell9

• k13labs/clara-rules

  Performance focused forward-chaining rules in Clojure

  Language:Clojure111

• HOL-Theorem-Prover/HOL

  Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

  Language:Standard ML626143

• google/formal-ml

  Language:Lean247

• teacherpeterpan/Logic-LLM

  The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"

  Language:C25441

• siemens/OOASP

  Language:Jupyter Notebook7

• HKUNLP/SymGen

  [EMNLP'23] Code for Generating Data for Symbolic Language with Large Language Models

  Language:Python171

• leanprover/subverso

  Language:Lean32

• Mercury-Language/mercury

  The Mercury logic programming system.

  Language:Mercury90654

• curry-language/curry2go

  A compiler and run-time system to compile and run Curry programs as Go programs

  Language:Curry211

• funcool/clojurescript-unraveled

  An open source book about ClojureScript

  Language:XSLT47559