478 Open source projects that are alternatives of or similar to fitchjs

📚Solutions to Language, Proof and Logic (2nd Edition)

Solutions for the book "Language Proof and Logic".

A JavaScript propositional logic and resolution library

Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten

O(N log N)-space IPC solver in OCaml

A template for the thesis of CSU (Central South University).

Exercise generator and helpful materials for the Introduction to Algorithms and Data Structures 📚

Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models

Modelo de trabalho acadêmico utilizando LaTeX baseado nas normas da ABNT para o CEFET-MG.

Hääl - Anonymous Electronic Voting System on Public Blockchains

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

Build and evaluate JsonLogic with React components

Generate a customised list of publications for your LaTeX CV using BibTeX entries.

TypeDB: a strongly-typed database

LaTex Poster for PS-FCN (ECCV 2018)

A symbolic model checker for Dynamic Epistemic Logic.

LaTeX学习笔记

Build trust into your image by creating a blockchain certificate for it

A command line tool that creates bibtex entries for IETF RFCs and Internet Drafts.

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

LaTeX templates for TJU graduate thesis. Originally forked from code.google.com/p/tjuthesis

Bot that posts posts Latex pictures

A curated list of awesome philosophy

天津大学本科生课程论文撰写：使用Typora代替LaTex

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

Proof of concept to generate safe and fast JavaScript

INACTIVE: Move your mouse, generate code from flow chart

📖 An R package for creating CSAS reports in PDF or Word format with R Markdown and bookdown

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

💜 LaTeX math wherever you want

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

Inline TeX in PHP pages

GAPT: General Architecture for Proof Theory

Project Planeverb is a CPU based real-time wave-based acoustics engine for games. It comes with an integration with the Unity Engine.

Model finder for higher-order logic

A python tool help you generator your resume with your pre defined JSON file

Switch is a small logic game that demonstrates usage of Pixar USD and Hydra on Windows.

Integration of the Juris-M or Zotero reference manager with TeXmacs for using CSL citation styles in documents.

Intermediate Memory Model (IMM) and compilation correctness proofs for it

pix2tex: Using a ViT to convert images of equations into LaTeX code.

truth-table-generator is a tool that allows to generate a truth table

Python Tips for Data Scientist

Jupyter notebook to generate fully formatted IEEE papers

Basic Analysis, undergraduate real analysis textbook

LaTeX labels in Mathematica

Create linked objects (datapoints) of your devices with a self-defined structure. This makes it possible to create a structure in ioBroker, where all objects are centralized, e.g. to be used in the vis or scripts.

Выпускная квалификационная работа (ВКР) магистра в LaTeX, оформленная в соответствии с нормоконтролем Севастопольского государственного университета в 2017 г.

A micro conditional javascript engine used to parse the raw logical and comparison expressions, evaluate the expression in the given data context, and provide access to a text form of the given expressions.

Typeset tabulars and arrays with LaTeX3

A predictable state management library that helps implement the BLoC design pattern

Render LaTeX math with Hershey Fonts

Version 2 of my Crazy Small CPU

A free, open source, online digital circuit/logic designer.

Galley of Tikz drawings.

Render LaTeX in React apps

Collection of LaTeX resources and examples.

Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

Add-on for the memory training program Anki, allowing to import and export notes written in LaTeX.

provide a syntax to use amsthm environments in pandoc, with output in LaTeX and HTML

A ruby environment for Latex files