COLLECTED BY

Organization: Archive Team

Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.

History is littered with hundreds of conflicts over the future of a community, group, location or business that were "resolved" when one of the parties stepped ahead and destroyed what was there. With the original point of contention destroyed, the debates would fall to the wayside. Archive Team believes that by duplicated condemned data, the conversation and debate can continue, as well as the richness and insight gained by keeping the materials. Our projects have ranged in size from a single volunteer downloading the data to a small-but-critical site, to over 100 volunteers stepping forward to acquire terabytes of user-created data to save for future generations.

The main site for Archive Team is at archiveteam.org and contains up to the date information on various projects, manifestos, plans and walkthroughs.

This collection contains the output of many Archive Team projects, both ongoing and completed. Thanks to the generous providing of disk space by the Internet Archive, multi-terabyte datasets can be made available, as well as in use by the Wayback Machine, providing a path back to lost websites and work.

Our collection has grown to the point of having sub-collections for the type of data we acquire. If you are seeking to browse the contents of these collections, the Wayback Machine is the best first stop. Otherwise, you are free to dig into the stacks to see what you may find.

The Archive Team Panic Downloads are full pulldowns of currently extant websites, meant to serve as emergency backups for needed sites that are in danger of closing, or which will be missed dearly if suddenly lost due to hard drive crashes or server failures.

Collection: Archive Team: URLs

TIMESTAMPS

The Wayback Machine - https://web.archive.org/web/20220709005750/https://github.com/topics/logic

#

logic

Here are 1,078 public repositories matching this topic...

steshaw / plt

Programming Language Theory λΠ

functional-programming logic type-theory category-theory programming-languages proof-theory

Updated Jun 27, 2022
CSS

i5ting / imove

INACTIVE: Move your mouse, generate code from flow chart

javascript logic flowchart xstate lowcode x6

Updated Mar 22, 2022
TypeScript

typedb

vaticle / typedb

TypeDB: a strongly-typed database

database graph logic inference knowledge-graph graph-theory graph-database graphdb knowledge-base type-system strongly-typed graph-visualisation relational knowledge-representation reasoning enterprise-knowledge-graph hyper-relational typedb typeql

Updated Jul 8, 2022
Java

hneemann / Digital

A digital logic designer and circuit simulator.

education simulator logic circuit logic-gates logisim digital-circuits

Updated Jul 1, 2022
Java

logisim-evolution / logisim-evolution

Open

Font size too large in the canvas

3

dxhisboy commented May 4, 2022

I'm not sure about if it was a system configuration problem on my computer. Most of my computers runs Archlinux with Java 18. It seems the pin text of RAM is too large and overlaps each other:

While I didn't found a way to configure font of the canvas in menus. I found that a modifica

Read more

bug pri std good first issue

Open

HDL: Prio encoder warning

Open

logisim-evulution fails to run vsim albeit LM_LICENSE_FILE been set

5

Find more good first issues

flix / flix

The Flix Programming Language

language programming-language functional jvm logic flix hacktoberfest imperative

Updated Jul 8, 2022
Scala

magmide / magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

dependent-types coq logic verification formal-methods type-safety formal-verification systems-programming

Updated Jun 8, 2022
Coq

GGBRW / BOOLR

A digital logic simulator

simulator digital simulation logic logic-gates

Updated Mar 3, 2022
JavaScript

klaussinani / awesome-prolog

Sponsor

Curated list of Prolog packages and resources

list awesome programming logic prolog

Updated Sep 21, 2021

alexanyernas / Ejercicios-Practicos

Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.

practice logic exercises logic-programming

Updated Feb 8, 2022

opennars / opennars

Open

add Sentence.isQuestionOrQuest()

5

PtrMan commented May 6, 2018

isQuestion() || sentence.isQuest() occurs frequently all over the place
https://github.com/opennars/opennars/search?utf8=%E2%9C%93&q=isQuestion%28%29+%7C%7C+sentence.isQuest%28%29&type=

Read more

discussion refactor good first issue

Open

refactor parameters

Open

rename NAR inputs to nar

2

Find more good first issues

acl2 / acl2

ACL2 System and Books as Maintained by the Community

common-lisp logic theorem-proving first-order-logic formal-methods formal-verification theorem-prover rewriting acl2

Updated Jul 8, 2022
Common Lisp

Jfaler / Philosophy

Sponsor

A list of philosophy books and resources.

Updated Dec 27, 2020

schwering / limbo

A Reasoning System for a First-Order Logic of Limited Belief, written in C++

knowledge logic reasoning beliefs

Updated Dec 23, 2020
C++

latte-central / LaTTe

LaTTe : a Laboratory for Type Theory experiments (in clojure)

clojure logic mathematics proof-assistant

Updated Aug 3, 2021
Clojure

hendrycks / math

The MATH Dataset (NeurIPS 2021)

math logic reasoning

Updated Oct 18, 2021
Python

minetest-mods / mesecons

Mod for minetest that adds digital circuitry [=Minecraft redstone]

minetest logic redstone minetest-mod wires

Updated Jun 20, 2022
Lua

typeql

vaticle / typeql

TypeQL: the query language of TypeDB - a strongly-typed database

query database logic inference type-system strongly-typed query-language reasoning typedb typeql

Updated Jul 8, 2022
Java

principia

LogicalAtomist / principia

The Principia Rewrite

latex coq logic latex-packages formal-mathematics coq-ecosystem formal-proofs formal-logic history-of-philosophy

Updated Apr 3, 2022
Coq

LittleLollipop / LBox

android utils logic

Updated Jul 28, 2020
Java

OpenCircuits

OpenCircuits / OpenCircuits

Sponsor

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

education typescript simulator logic circuit-simulator circuits designer circuit logic-gates hacktoberfest digital-circuits digital-circuit-design

Updated Jul 6, 2022
TypeScript

ztangent / Julog.jl

A Julia package for Prolog-style logic programming.

julia logic prolog first-order-logic logic-programming fol

Updated Jun 12, 2022
Julia

ufocoder / javascript.anomaly

Examples of not obvious behaviors for javascript beginner programmers

javascript math logic closure anomaly

Updated Jun 12, 2019

jdryg / dls-schematics

Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls

cpu digital simulation logic schematic dls

Updated Jan 27, 2019
Lua

ciao-lang / ciao

Ciao is a general purpose, multi-paradigm programming language in the Prolog family. This is the main repository for the Ciao Prolog system.

programming-language interpreter bytecode compiler virtual-machine logic prolog prolog-implementation constraints prolog-interpreter logic-programming clp prolog-programming-language prolog-compiler iso-prolog-standard ciao-prolog

Updated Jul 5, 2022
Prolog

fenwii / LibraryBookSearchEngine

LibraryBookSearchEngine，link librarys of all 197 Countries, search all resources of books，for student, research,图书馆图书搜索引擎,在家链接全球197个国家的图书馆，搜索图书资源,学生必备，科研必备，学习必备工具。

learning students science search-engine library books research university book logic academic lib teaching student college thinking 197countries bookengine librarysearchengine

Updated Jan 5, 2022

wotbrew / relic

Functional relational programming for Clojure(Script).

clojure sql logic dataflow relational-algebra relations

Updated Feb 8, 2022
Clojure

almossawi / badarguments

Book of Bad Arguments & Mr. Rabbit's Guide to Sneaky Rhetoric

arguments logic debate critical-thinking logical-fallacies illustrated-book free-books

Updated Jul 4, 2022
HTML

bharathgs / NALU

Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al

machine-learning deep-learning neural-network logic pytorch arithmetic deepmind alu accumulator nalu

Updated Oct 3, 2018
Python

newca12 / awesome-rust-formalized-reasoning

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

rust dependent-types logic theorem-proving formal-verification prover automated-theorem-provers reasoning theorem-prover constructive-mathematics proof-assistants

Updated Jul 6, 2022

Improve this page

Add a description, image, and links to the logic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the logic topic, visit your repo's landing page and select "manage topics."