Giters
butterunderflow

butterunderflow

Geek Repo

9

followers

19

following

79

stars

Github PK Tool:Github PK Tool

butterunderflow's starred repositories

ChezScheme

Chez Scheme

Language:SchemeLicense:Apache-2.0Stargazers:6911Issues:0Issues:0

canary

A unification-based alias analysis and related tools

Language:C++License:AGPL-3.0Stargazers:27Issues:0Issues:0

norem-lang

A functional programming language with imperative features. "Norem" stands for "Not Really Monadic".

Language:RustLicense:Apache-2.0Stargazers:4Issues:0Issues:0

mogan

Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!

Language:SchemeLicense:GPL-3.0Stargazers:358Issues:0Issues:0

rsdl

Rusty, extended ASDL

Language:RustLicense:AGPL-3.0Stargazers:7Issues:0Issues:0

metacoq

Metaprogramming, verified meta-theory and implementation of Coq in Coq

Language:CoqLicense:MITStargazers:363Issues:0Issues:0

ExproniconLite.jl

no fancy pattern matching, no dependencies, lightweight Expronicon for low latency.

Language:JuliaLicense:MITStargazers:15Issues:0Issues:0

pyjulia

python interface to julia

Language:PythonLicense:MITStargazers:879Issues:0Issues:0

moonbit-mode

[UNOFFICIAL] Emacs mode for MoonBit

Language:Emacs LispStargazers:2Issues:0Issues:0

core

MoonBit's Core library

Language:ShellLicense:Apache-2.0Stargazers:499Issues:0Issues:0

CPython-Internals

Dive into CPython internals, trying to illustrate every detail of CPython implementation

Language:CStargazers:4060Issues:0Issues:0

bustubx

[WIP] A relational database written in Rust for educational purpose, heavily inspired by cmu-db/bustub. (CMU 15-445).

Language:RustLicense:MITStargazers:115Issues:0Issues:0

nature

🍀 The Nature Programming Language, may you be able to experience the joy of programming.

Language:CLicense:MITStargazers:737Issues:0Issues:0

ocaml-macros

OCaml with macros

Language:OCamlLicense:NOASSERTIONStargazers:52Issues:0Issues:0

japp

Language:JavaLicense:Apache-2.0Stargazers:80Issues:0Issues:0

bustub

The BusTub Relational Database Management System (Educational)

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

lyzh

A well-documented minimal dependently-typed language for my friend Lyzh

Language:PythonLicense:MITStargazers:23Issues:0Issues:0

mangle

Language:GoLicense:Apache-2.0Stargazers:1051Issues:0Issues:0

ant

Ant game engine

Language:LuaLicense:MITStargazers:3731Issues:0Issues:0

logseq

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

Language:ClojureLicense:AGPL-3.0Stargazers:31204Issues:0Issues:0

abella

An interactive theorem prover based on lambda-tree syntax

Language:OCamlLicense:GPL-3.0Stargazers:88Issues:0Issues:0

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Language:ZigLicense:MITStargazers:32517Issues:0Issues:0

SootUp

A new version of Soot with a completely overhauled architecture

Language:JavaLicense:LGPL-2.1Stargazers:549Issues:0Issues:0

prettier-java

Prettier Java Plugin

Language:JavaLicense:Apache-2.0Stargazers:1060Issues:0Issues:0

moonbit-RFCs

RFCs of MoonBit lang

Stargazers:17Issues:0Issues:0

flix

The Flix Programming Language

Language:ScalaLicense:NOASSERTIONStargazers:2105Issues:0Issues:0

rainoftime.github.io

Language:HTMLLicense:MITStargazers:4Issues:0Issues:0

org-roam-bibtex

Org Roam integration with bibliography management software

Language:Emacs LispLicense:GPL-3.0Stargazers:565Issues:0Issues:0

guava

Google core libraries for Java

Language:JavaLicense:Apache-2.0Stargazers:49730Issues:0Issues:0

analyze

NaiveSystems Analyze is a static analysis tool for code security and compliance.

Language:C++License:GPL-3.0Stargazers:161Issues:0Issues:0