Giters
RANDRIANAINA Georges Aaron (garandria)

garandria

Geek Repo

4

followers

22

following

27

stars

Location:Rennes, France

Home Page:www.randrianaina.ralaimazoto.com

Github PK Tool:Github PK Tool

RANDRIANAINA Georges Aaron's starred repositories

april

The APL programming language (a subset thereof) compiling to Common Lisp.

Language:Common LispLicense:Apache-2.0Stargazers:583Issues:0Issues:0

lambda-8cc

x86 C compiler written in untyped lambda calculus

Language:Common LispLicense:MITStargazers:609Issues:0Issues:0

multiple-cursors.el

Multiple cursors for emacs.

Language:Emacs LispStargazers:2227Issues:0Issues:0

axiom

Axiom is a free, open source computer algebra system

Language:PostScriptStargazers:353Issues:0Issues:0

Predicament

Extrinsic and intrinsic condition system for Common Lisp

Language:Common LispLicense:NOASSERTIONStargazers:2Issues:0Issues:0

Common-macros

Portable implementation of many standard Common Lisp macros.

Language:Common LispStargazers:10Issues:0Issues:0

LispOS

An operating system written in, but especially inspired by Common Lisp and its interactive environment.

Language:TeXStargazers:94Issues:0Issues:0

Second-Climacs

Version 2 of the Climacs text editor.

Language:Common LispLicense:BSD-2-ClauseStargazers:272Issues:0Issues:0

Clostrophilia

An implementation of CLOS and the CLOS MOP

Language:Common LispLicense:NOASSERTIONStargazers:15Issues:0Issues:0

mgl

Common Lisp machine learning library.

Language:Common LispLicense:MITStargazers:576Issues:0Issues:0

SICL

A fresh implementation of Common Lisp

Language:TeXLicense:NOASSERTIONStargazers:1057Issues:0Issues:0

mold

Mold: A Modern Linker 🦠

Language:C++License:MITStargazers:13439Issues:0Issues:0

lowlevelprogramming-university

How to be low-level programmer

License:GPL-3.0Stargazers:9675Issues:0Issues:0

pixie

A small, fast, native lisp with "magical" powers

Language:PythonLicense:GPL-3.0Stargazers:2339Issues:0Issues:0

ssabook

Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was still online as of 2021-03, but then gone by 2021-09).

Language:TeXStargazers:109Issues:0Issues:0

tree-sitter

An incremental parsing system for programming tools

Language:RustLicense:MITStargazers:16776Issues:0Issues:0

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

License:NOASSERTIONStargazers:26060Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:93705Issues:0Issues:0

gcc

License:GPL-2.0Stargazers:8823Issues:0Issues:0

kconfigreader

KConfigReader - accurate translation of kconfig files to propositional formulas

Language:ScalaStargazers:6Issues:0Issues:0

Kconfiglib

A flexible Python 2/3 Kconfig implementation and library

Language:PythonLicense:ISCStargazers:433Issues:0Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:4653Issues:0Issues:0

math-comp

Mathematical Components

Language:CoqStargazers:551Issues:0Issues:0

Dedukti

Implementation of the λΠ-calculus modulo rewriting

Language:OCamlLicense:NOASSERTIONStargazers:187Issues:0Issues:0

sage-archive-2023-02-01

This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github.com/sagemath/sage, we have renamed and archived this repository.

Language:PythonLicense:NOASSERTIONStargazers:2021Issues:0Issues:0

uemacs

Random version of microemacs with my private modificatons

Language:CStargazers:1139Issues:0Issues:0

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:171936Issues:0Issues:0