computer-science-algorithms

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

prototype experimental ocaml computer-science-algorithms logic polymorphism cnf superposition saturation induction symbolic-computation prover rewriting

Updated Oct 19, 2022
OCaml

shhossain / computer_science

Star

Computer Science Topics

Updated Oct 23, 2022
Python

nayuki / Sorting-algorithms-demo

Star

Animated demo of sorting algorithms in Java.

java computer-science gui algorithms computer-science-algorithms desktop-application sorting-algorithms

Updated Sep 11, 2022
Java

sumtype / common-algorithms-js

Star

Common algorithms implemented in JavaScript.

javascript computer-science algorithms graph-algorithms computer-science-algorithms sorting-algorithms common-algorithms string-algorithms javascript-algorithms array-algorithms geometry-algorithms math-algorithms

Updated Jan 27, 2019
JavaScript

akashbdj / stein

Star

Data Structures and Algorithms implementation in JavaScript & Python with explanations. 🍻

javascript python computer-science algorithm es6 computer-science-algorithms data-structures

Updated Mar 3, 2019
JavaScript

extsalt / books

Star

Books on various domains of computer science

books calculus algorithms graph computer-science-algorithms computer ebooks descrete-math

Updated Mar 28, 2020

thundergolfer / sudkamp-langs-machines-java

Star

[WIP] Algorithms from Sudkamps' Languages and Machines - implemented in Java

computer-science algorithm computer-science-algorithms textbook

Updated Apr 25, 2017
Java

ayastreb / cs101

Star

🎓 Data structures and algorithms implemented in ES6

algorithm data-structure computer-science-algorithms computer-science-education

Updated Mar 24, 2018
JavaScript

estevanmaito / algorithms-in-javascript

Star

Computer Science algorithms in JavaScript

javascript computer-science algorithms computer-science-algorithms javascript-algorithms

Updated Jun 8, 2020
JavaScript

thundergolfer / sudkamp-langs-machines-python

Star

Algorithms from Sudkamps' Languages and Machines - implemented in Python 3

computer-science algorithm computer-science-algorithms textbook

Updated May 22, 2017
Python

sshh12 / SchoolCode

Star

A collection of scripts that I wrote for/were inspired by school projects. Algorithms & Data Structures.

school computer-science-algorithms ap-computer-science cyranch

Updated Jun 30, 2019
Java

laszlokorte / informatik-master

Star

Informatik Master exercises

computer-science-algorithms computer-science-education

Updated Apr 20, 2020
TeX

charlesbuczel / leetcode.js

Star

LeetCode solutions in JavaScript (ES6+).

Updated Aug 2, 2020
JavaScript

michaelkhany / Ultra_Sum

Star

It's a program for doing 4 simple mathematical functions but not with normal integer numbers, it designed for huge numbers; maybe division is not completed but other sections are working; developed by Michael Bidollahkhany.

computer-science-algorithms open-source-project infinite-computing