hermetique Goto Github PK
Name: Le Garage Hermétique
Type: Organization
Bio: Forks for the fork-improverished! (Zero forks + account deleted = oh no, it's gone)
Name: Le Garage Hermétique
Type: Organization
Bio: Forks for the fork-improverished! (Zero forks + account deleted = oh no, it's gone)
아희아희: 아희로 만든 아희 인터프리터
a python-like language with hindley-milner-like type system, which is compiled to c
ALC Reasoner using Dependency-directed backtracking algorithm.
Semantics of counterpart-based quantified (linear) temporal logics in Agda
The RSRE Algol-68RS Compiler. An update of the original port by Sian Mountbatten of a68toc (ctrans) from Algol-68RS/ELLA2000 updated to run on Intel and ARM processors (32- and 64-bit) Linux and macOS systems.
Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.
GPU Accelerated, Distributed, Actor Model Language (WIP)
(WIP) Minimal example of implementing a language with Rust and MLIR
A simple concatenative programming language
Accumulator based Motorola Language
Analyzer is a grammar analyzer for a very small subset of Pascal.
Soundness proof for System F_<: in ANF form
A core language for the Apple II
αProlog
Arbitrary precision arithmetic in C++, even at compile-time
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
Arete is an experimental programming language.
Artemis is my project to create portable Oberon-07 modules that can be used in POSIX and Oberon System.
Automated Reasoning for the Working Mathematician
Assembler stuff
Functional game programming experiment
An attempt to make a real-time, text-based game using asyncio.
Atlast is a FORTH-like threaded language, implemented in standard C, which can either be used stand-alone or embedded in applications to make them programmable and open to extension by users. Floating point, C-like strings, and C/Unix-like file I/O are supported.
The ATOM Programming Language
For exploring nonassociative algebras and relation algebras, including the generation of all nonassociative algebras on four atoms.
A rather unusual BASIC for the 65816 loosely based on ideas in Acorn Atom and BBC Basic
A Naive Automated Theorem Prover in Common Lisp
Create build recipes through automated trial and error
A library of formalized automaton algorithms
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
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.