Giter VIP home page Giter VIP logo
Le Garage Hermétique photo

hermetique Goto Github PK

repos: 903.0 gists: 0.0

Name: Le Garage Hermétique

Type: Organization

Bio: Forks for the fork-improverished! (Zero forks + account deleted = oh no, it's gone)

Le Garage Hermétique's Projects

aheui.aheui icon aheui.aheui

아희아희: 아희로 만든 아희 인터프리터

airtight icon airtight

a python-like language with hindley-milner-like type system, which is compiled to c

alc-reasoner icon alc-reasoner

ALC Reasoner using Dependency-directed backtracking algorithm.

algol-68rs-source icon algol-68rs-source

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.

algorithmwstepbystep icon algorithmwstepbystep

Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.

alox icon alox

GPU Accelerated, Distributed, Actor Model Language (WIP)

ambrosia icon ambrosia

(WIP) Minimal example of implementing a language with Rust and MLIR

amethyst icon amethyst

A simple concatenative programming language

amoral icon amoral

Accumulator based Motorola Language

analyzer icon analyzer

Analyzer is a grammar analyzer for a very small subset of Pascal.

anf-fsub icon anf-fsub

Soundness proof for System F_<: in ANF form

arby icon arby

Arbitrary precision arithmetic in C++, even at compile-time

archsat icon archsat

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

arete icon arete

Arete is an experimental programming language.

artemis icon artemis

Artemis is my project to create portable Oberon-07 modules that can be used in POSIX and Oberon System.

arwm icon arwm

Automated Reasoning for the Working Mathematician

atlast icon atlast

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.

atom icon atom

The ATOM Programming Language

atomicalgebra icon atomicalgebra

For exploring nonassociative algebras and relation algebras, including the generation of all nonassociative algebras on four atoms.

atomicbasic-old icon atomicbasic-old

A rather unusual BASIC for the 65816 loosely based on ideas in Acorn Atom and BBC Basic

atp icon atp

A Naive Automated Theorem Prover in Common Lisp

autobake icon autobake

Create build recipes through automated trial and error

automatik icon automatik

A library of formalized automaton algorithms

axiom-profiler icon axiom-profiler

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.