jsyedidia's starred repositories

readline

Readline is a pure go(golang) implementation for GNU-Readline kind library

inform

The core software distribution for the Inform 7 programming language.

Language:CLicense:Artistic-2.0Stargazers:1293Issues:48Issues:0

eaopt

:four_leaf_clover: Evolutionary optimization library for Go (genetic algorithm, partical swarm optimization, differential evolution)

Language:GoLicense:MITStargazers:881Issues:31Issues:22

prolog

The only reasonable scripting engine for Go.

Language:GoLicense:MITStargazers:561Issues:15Issues:174

trealla

A compact, efficient Prolog interpreter written in plain-old C.

knit

A simple and flexible build tool using Lua, similar to make/mk.

Language:GoLicense:MITStargazers:185Issues:4Issues:12

clpz

Constraint Logic Programming over Integers

programming-machine-learning-livebooks

Programming Machine Learning - Elixir Livebooks

Language:ElixirLicense:MITStargazers:174Issues:6Issues:1

multiplix

An operating system kernel for RISC-V and AArch64 SBCs

Language:DLicense:MITStargazers:124Issues:5Issues:3

nanotts

Improved SVOX PicoTTS speech synthesizer

Language:CLicense:Apache-2.0Stargazers:101Issues:11Issues:12

go

Trealla Prolog embedded in Go using WASM

Language:GoLicense:MITStargazers:76Issues:4Issues:8
Language:PythonLicense:MITStargazers:56Issues:1Issues:2

lfi

LFI: Practical, Efficient, and Secure Software-based Sandboxing

Language:CLicense:MPL-2.0Stargazers:36Issues:5Issues:0

eaopt-examples

:four_leaf_clover: eaopt examples

Language:GoStargazers:28Issues:4Issues:0

ergo

ERGO Agent Programming Language

Language:SchemeLicense:MITStargazers:27Issues:4Issues:0

cascade

A Just-In-Time Compiler for Verilog from VMware Research

Language:C++License:NOASSERTIONStargazers:21Issues:6Issues:28

mdlrnn

Minimum Description Length Recurrent Neural Networks

Language:PythonLicense:MITStargazers:18Issues:5Issues:1

toy_robot_elixir

Code from leanpub.com/elixir-toyrobot

riscinator

A tiny 3-stage RISC-V core written in Chisel.

Language:CLicense:MITStargazers:11Issues:4Issues:0

crypt

A tool for making password-protected files

Language:GoLicense:MITStargazers:9Issues:3Issues:0

wasm2bin

Compiler from Webassembly to native binaries

Language:CLicense:MITStargazers:8Issues:2Issues:0

cpg

code for the compositional program generator (cpg)

Language:PythonLicense:Apache-2.0Stargazers:6Issues:4Issues:0

clipper

Cross-platform clipboard access in Go

Language:GoLicense:MITStargazers:6Issues:3Issues:2
Language:PythonLicense:MITStargazers:5Issues:2Issues:0

knitja

A tool for converting Ninja build files to Knitfiles

Language:CLicense:NOASSERTIONStargazers:3Issues:3Issues:0

quark

QUark Assembly Rewriting Kit

Language:C++License:MITStargazers:3Issues:2Issues:0
Language:DStargazers:2Issues:3Issues:0
Language:DLicense:NOASSERTIONStargazers:2Issues:2Issues:0