Giters
Albert Chen (AlbertAnattaChen)

AlbertAnattaChen

Geek Repo

2

followers

54

following

106

stars

Github PK Tool:Github PK Tool

Albert Chen's starred repositories

Hypergraph

Hypergraph Rewriting System

Language:JavaScriptLicense:MITStargazers:60Issues:0Issues:0

bionetgen

Rule-based modeling framework

Language:PerlLicense:MITStargazers:56Issues:0Issues:0

goldendict

A feature-rich dictionary lookup program, supporting multiple dictionary formats (StarDict/Babylon/Lingvo/Dictd) and online dictionaries, featuring perfect article rendering with the complete markup, illustrations and other content retained, and allowing you to type in words without any accents or correct case.

Language:C++License:NOASSERTIONStargazers:5838Issues:0Issues:0

digitalpalidictionary

Download the latest version of DPD for GoldenDict, MDict, Kindle or SQLite

Stargazers:37Issues:0Issues:0

plow

Quantitative logic programming

Language:PrologLicense:Apache-2.0Stargazers:8Issues:0Issues:0

.github

The README and other general info common to all the repositories in ErgoAI

License:Apache-2.0Stargazers:5Issues:0Issues:0

hierarchical-irm

Probabilistic structure discovery for rich relational systems

Language:C++License:Apache-2.0Stargazers:10Issues:0Issues:0

factorie

FACTORIE is a toolkit for deployable probabilistic modeling, implemented as a software library in Scala. It provides its users with a succinct language for creating relational factor graphs, estimating parameters and performing inference.

Language:ScalaLicense:Apache-2.0Stargazers:552Issues:0Issues:0

saul

Saul : Declarative Learning-Based Programming

Language:ScalaLicense:NOASSERTIONStargazers:64Issues:0Issues:0

probprog.github.io

Language:JavaScriptStargazers:1Issues:0Issues:0

anglican

Probabilistic Programming System Anglican

Language:ClojureLicense:EPL-1.0Stargazers:140Issues:0Issues:0

mozart2

Mozart Programming System v2

Language:OzLicense:BSD-2-ClauseStargazers:557Issues:0Issues:0

clpBNR

CLP(BNR) module for SWI-Prolog

Language:PrologLicense:MITStargazers:38Issues:0Issues:0

C-Prolog

C-Prolog 1.5 ( found somewhere on the net.)

Language:CStargazers:6Issues:0Issues:0

atto

experimenting with µ-kanren & relational programming 🔬

Language:JavaScriptStargazers:1Issues:0Issues:0

pflp

Probabilistic Functional Logic Programming

Language:CurryLicense:BSD-3-ClauseStargazers:13Issues:0Issues:0

pflp-ml

Probabilistic functional logic language embedded in OCaml

Language:OCamlStargazers:3Issues:0Issues:0

houkanren

Higher-Order twist to MicroKanren

Language:HaskellLicense:BSD-3-ClauseStargazers:3Issues:0Issues:0

miniKanren

Canonical miniKanren implementation

Language:SchemeLicense:MITStargazers:349Issues:0Issues:0

probKanren

Probabilistic miniKanren

Language:SchemeLicense:MITStargazers:60Issues:0Issues:0

gamble

Probabilistic Programming

Language:RacketLicense:BSD-2-ClauseStargazers:40Issues:0Issues:0

anglican-infcomp

Clojure library for Inference Compilation

Language:JavaLicense:GPL-3.0Stargazers:6Issues:0Issues:0

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellLicense:NOASSERTIONStargazers:3417Issues:0Issues:0

psl-examples

Various examples to showcase the functionality of PSL.

Language:ShellStargazers:59Issues:0Issues:0

problog

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.

Language:PythonStargazers:302Issues:0Issues:0

papers-we-love

Papers from the computer science community to read and discuss.

Language:ShellStargazers:85564Issues:0Issues:0

cl-reactive

Reactive programming at the variable/function level for Common Lisp

Language:Common LispLicense:UnlicenseStargazers:33Issues:0Issues:0

Barliman

Prototype smart text editor

Language:SchemeLicense:MITStargazers:1042Issues:0Issues:0

ChezScheme

Chez Scheme

Language:SchemeLicense:Apache-2.0Stargazers:6917Issues:0Issues:0

slpKanren

Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren

Language:SchemeStargazers:32Issues:0Issues:0