mthom Goto Github PK
Name: Mark Thom
Type: User
Location: Lethbridge, AB
Name: Mark Thom
Type: User
Location: Lethbridge, AB
A hastily written KLambda->Haskell compiler.
A CL implementation of PSOATransRun, realizing the PSOA RuleML data and rule language.
A library set of arbitrary precision numbers implemented in Rust.
Garbage collected concurrent hash tries.
cross-platform Rust API for memory mapped IO
Macro to generate bitfields for structs that allow for modular use of enums.
An adapter to use num crate where rug is needed.
Postgres as a Platform
Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes
Concurrent mark-sweep garbage collector for accurate garbage collection of language runtimes in C++ 1x.
An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
Components of PSOATransRun system
A minimal readline library wrapper for the Rust programming language.
Readline Implementation in Rust
A modern Prolog implementation written mostly in Rust.
SDL 1.2 bindings for the Racket language.
An embedding of miniKanren in Shen.
A Haskell implementation of the Shen programming language.
The Haskell backend for Shentong, Shen version 20
The core of the Shentong implementation.
SOM++ - C++ implementation of the Simple Object Machine Smalltalk
"Not chef"-quality truth table generator.
Concurrent hash tries for C++ 14 with no memory management whatsoever.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.