ltworf / relational

Related projects: ⓘ

• EiffelSoftware / EiffelStudio
  Public mirror of https://svn.eiffel.com/eiffelstudio-public/trunk with 12 months delay, see https://github.com/EiffelSoftware/libraries f…
  ☆49Updated this week
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆30Updated 11 months ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆80Updated last year
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆41Updated this week
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆27Updated 4 months ago
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 3 years ago
• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 2 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆59Updated 9 months ago
• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆86Updated 2 weeks ago
• exercism / sml
  Exercism exercises in Standard ML.
  ☆27Updated 2 weeks ago
• esneider / latex-pseudocode
  Beautiful pseudocode in latex
  ☆21Updated 11 years ago
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆109Updated last month
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆55Updated 2 years ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆90Updated 3 weeks ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆51Updated last week
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆122Updated 9 years ago
• jsoftware / jandroid
  J for Android
  ☆33Updated 6 months ago
• j2kun / program-gallery
  Program Gallery
  ☆18Updated last year
• exercism / prolog
  Exercism exercises in Prolog.
  ☆29Updated this week
• metamath / metamath-book
  Source of metamath book
  ☆45Updated 8 months ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 6 years ago
• AmziLS / AmziProlog
  Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
  ☆116Updated 2 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆107Updated last year
• Henry / Leda
  Leda: Multiparadigm Programming Language
  ☆11Updated 8 years ago
• jsoftware / qtide
  Qt IDE
  ☆44Updated 3 weeks ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆111Updated 7 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆58Updated 4 years ago
• jsoftware / labs_labs
  LABS
  ☆13Updated 3 weeks ago
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆27Updated 3 years ago
• bcrowell / calculus
  ☆37Updated this week