sto0pkid

sto0pkid's Stars

• lodgeit-labs/accounts-assessor

  This repository hosts a practical research into leveraging logic programming to solve accounting problems.

  Language:HTML71

• HunterMinerCrafter/motocoin

  motocoin source code

  Language:TypeScript1

• HunterMinerCrafter/huntercoin

  Human-mineable crypto currency / decentralized game

  Language:TypeScript2

• linas/fractal

  Analytic combinatorics and dynamical systems

  Language:PostScript5

• aindilis/boss

  Software engineering manager for project management

  Language:Perl2

• aindilis/radar

  Rapid Application Discovery And Retrieval

  Language:Perl11

• aindilis/mealsolver

  Logic-based meal optimizer

  Language:Jupyter Notebook15

• opencog/atomspace

  The OpenCog (hyper-)graph database and graph rewriting system

  Language:C++839236

• sto0pkid/AutoNomic

  A p2p nomic game

  Language:C++5

• sto0pkid/Godelian

  Godelian stuff in Agda

  Language:Agda41

• aindilis/frdcsa-panoply-git-20200329

  How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)

  101

• koo5/QuadLad

  RDF ALL THE THINGS

  Language:Svelte31

• thinkle/gourmet-svelte

  Gourmet Web Edition

  Language:HTML74

• aindilis/gourmet-formalog-standalone

  A fork of Gourmet-Formalog designed to be independent of FRDCSA, and accessed through Pengines or REPL

  Language:Prolog2

• koo5/koordinator2000

  crowd-defunding

  Language:Svelte101

• beakerbrowser/beaker

  An experimental peer-to-peer Web browser

  Language:JavaScript6.8k547

• lortabac/tapl

  Implementation of the languages presented in the book "Types and Programming Languages" by Benjamin C. Pierce.

  Language:Prolog1

• AndrewChap/symdim

  A python package that uses the Sympy and Astropy.units to do equation manipulation with dimensional analysis

  Language:Python127

• koo5/univar

  development repository of AutoNomic/tau

  Language:C++6

• owebio/serverless-webrtc-chat

  Serverless WebRTC chat example

  Language:HTML9525

• edalford11/ImageForensics

  This program is written in C++ and will read in a RAW image file that will perform MD5 and SHA1 checksums on the file before analysis. The program will then read the partition tables from the master boot record and extract the partition type, start sector address and the size of each partition in decimal. If the partition is of type FAT 16 or FAT 32, the program will locate the partitions volume boot record and extract the geometric data of the file system. This includes the start sector, end sector and size for the reserved area, sectors per cluster, start sector and ending sector of the FAT area, number of FATs, size of each FAT and the first sector of cluster 2.

  Language:C++41

• typedb/typedb

  TypeDB: the power of programming, in your database

  Language:Rust3.9k341

• usgpo/cataloging-records

  Downloadable MARC records from the U.S. Government Publishing Office.

  Language:mIRC Script5519

• redfish64/NC201712

  Something to do with nomics and coins

  Language:Haskell1

• redfish64/NomicCoin201710

  A p2p network written in Idris and designed to be very similar to idris itself

  Language:Idris5

• audiodude/odeon

  A game of Nomic implemented using Github

  62

• rbjones/HoLoTruth

  Higher Order LOgic Truth - architecture and kernel for deduction

  51

• ontologyportal/sumo

  Suggested Upper Merged Ontology (SUMO)

  Language:HTML22774

• sto0pkid/LemonChain

  When life gives you lemons... make a chain out of them!

  Language:C++4