Engiseer's repositories

Complex-Display-Space

A python script to display function mappings on complex numbers

Language:PythonStargazers:3Issues:2Issues:0

Computational-Science

numerical analysis algorithms

Language:PythonStargazers:3Issues:2Issues:0

mylisp

A language I made in pure c99

Language:CStargazers:3Issues:2Issues:0

cocoalib

http://cocoa.dima.unige.it/cocoalib/

Language:CLicense:GPL-3.0Stargazers:2Issues:1Issues:0

dnd-wizard

my dnd wizard Varis.

Language:PythonStargazers:1Issues:2Issues:0
Language:PythonLicense:MITStargazers:1Issues:0Issues:0

fol_grammar

A program set to run tests on a first order language grammar

Language:JavaStargazers:1Issues:2Issues:0

godel_numbers

small compilers from FOL to godel numbers and back

Language:PythonLicense:MITStargazers:1Issues:2Issues:0

academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

autodiff

automatic differentiation made easier for C++

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

Cello

Higher level programming in C

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

chungus-2-assembler

Assembler and example programs for the CHUNGUS 2 Minecraft CPU.

Language:AssemblyLicense:MITStargazers:0Issues:0Issues:0

deepbugs-jr

A replication of DeepBugs

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

gbtl

GraphBLAS Template Library (GBTL): C++ graph algorithms and primitives using semiring algebra as defined at graphblas.org

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:CoqStargazers:0Issues:2Issues:10

java-sketch

a Java front-end for Sketch synthesis tool

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

LearningAlgebraicVarieties.jl

Learning Algebraic Varieties from Samples

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

M2

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

Language:Macaulay2Stargazers:0Issues:0Issues:0

mal

mal - Make a Lisp

Language:AssemblyLicense:NOASSERTIONStargazers:0Issues:0Issues:0

metacoq

Metaprogramming in Coq

Language:CoqLicense:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:2Issues:0

NeuralTuringMachine

Tensorflow implementation of a Neural Turing Machine

Language:PythonLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

object_reference_synthesis

Generating Programmatic Referring Expressions via Program Synthesis

Language:PythonStargazers:0Issues:0Issues:0

P

The P programming language.

Language:OpenEdge ABLLicense:MITStargazers:0Issues:0Issues:0

reple

"Replay-based" REPLs for compiled languages.

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

stylegan2

StyleGAN2 - Official TensorFlow Implementation

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

tree-automata

Tree Automata library for Rust.

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

vim

The official Vim repository

License:VimStargazers:0Issues:0Issues:0