SQeQt2bH8q

SQeQt2bH8q's Stars

• gpoore/text2qti

  Create quizzes in QTI format for Canvas from Markdown-based plain text

  Language:Python18766

• Laukku/lutedesigner

  Online parametric lute design aid

  Language:JavaScript111

• ktye/i

  interpret

  Language:Go10317

• brucemiller/LaTeXML

  LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.

  Language:Perl971100

• tfkhdyt/termux-fpc

  Free Pascal Compiler untuk Termux

  Language:Shell5

• evhub/pyprover

  Resolution theorem proving for predicate logic in pure Python.

  Language:Python9110

• stepchowfun/theorem-prover

  An automated theorem prover for first-order logic.

  Language:Python23431

• eprover/PyRes

  Pedagogical first-order prover in Python

  Language:Python7316

• PolyMathOrg/PolyMath

  Scientific Computing with Pharo

  Language:Smalltalk17039

• hz7k-nzw/sicp-in-smlnj

  This is a translation of source code from SICP into SML/NJ.

  Language:Scheme131

• SMLFamily/Successor-ML

  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

  Language:TeX19510

• Rscho314/new_kanren

  microkanren Hemann 2016

  Language:J2

• DennisMitchell/jellylanguage

  Jelly is a recreational programming language inspired by J.

  Language:Python86846

• cl21/cl21

  Common Lisp in the 21st Century.

  Language:Common Lisp91343

• jez/vim-better-sml

  :tada: Enjoy writing SML within Vim

  Language:Vim Script10410

• stylewarning/deprecated-coalton-prototype

  Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.

  Language:Common Lisp2077

• jack-pappas/fsharp-logic-examples

  Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.

  Language:F#17516

• jp-diegidio/Nan.Numerics.Prime-Prolog

  A simple prime number library (in Prolog)

  Language:Prolog51

• Mercury-Language/mercury

  The Mercury logic programming system.

  Language:Mercury91955

• fnoorian/gramEvol

  Grammatical Evolution for R

  Language:R2812

• bver/GERET

  Grammatical Evolution Ruby Exploratory Toolkit

  Language:Ruby131