ChangXin Sun's repositories
OpenJunars
Junars的开源版本
cNARS
C/C++ implementation of NARS (Non-Axiomatic-Reasoning-System)
Language:C++MIT000
cs3410-logisim-ita
compatible with the latest logisim italy edition
DataStructures.jl
Julia implementation of Data structures
Language:JuliaMIT000
elixir_json_file_logger_backend
Logger backend that write a json map per line to a file
Language:ElixirISC000
ErlangTerm.jl
(De-)serialize Julia data in Erlang's external term format
Language:JuliaNOASSERTION000
HTTP.jl
HTTP for Julia
Language:JuliaNOASSERTION000
Julog.jl
A Julia package for Prolog-style logic programming.
Language:JuliaApache-2.0000
MLStyle.jl
Julia functional programming infrastructures and metaprogramming facilities
Language:JuliaMIT000
MsgPackRPC.jl
Simple RPC for connect MicroSoft's AirSim
opennars
OpenNARS for Research 3.0+
Language:JavaMIT000
PX4-Autopilot
PX4 Autopilot Software
Language:C++BSD-3-Clause000
Language:PythonMIT000
PyNarsese.jl
Julia implementation of pynars's Narsese module.