246 Open source projects that are alternatives of or similar to Zipperposition

From UI Proposal to Code 🎶▶️

Create HTML with python 3 using a standard DOM API. Includes a python port of JavaScript for interoperability and tons of other cool features. A fast prototyping library.

a Python VM written entirely from scratch in JavaScript with some unique features

A web browser integrated in VS Code editor tabs. ☢️ experimental ☢️

📚Solutions to Language, Proof and Logic (2nd Edition)

Runtime polymorphism done right

Rapid prototyping environment using the Salesforce Lightning Design System

[Not work] Deobfuscate obfuscated binaries!

Expert advisors, scripts, indicators and code libraries for Metatrader.

A curated list of awesome things related to Framer prototyping tool

Reference implementation for the JavaScript Binary AST format

Bachelor's degree thesis on Unity DOTS architecture

The Flix Programming Language

Curated list of Prolog packages and resources

(Not actively maintained, use DRV3-Sharp) Tools for extracting and re-injecting files for Danganronpa V3 for PC.

Software rendering engine with PBR. Built from scratch on C++.

Experimental, scalable, high performance HTTP server

OpenNARS for Research 3.0+

A statically-typed strictly-evaluated garbage-collected readable programming language.

FrontEnd Knowledge Package 📦

Conception was an experimental project, looking for ways to make software development more efficient.

Functional relational programming for Clojure(Script).

Collection of awesome Axure resources.

An Awesome Repository On Object Oriented Programming In C++ Language. Ideal For Computer Science Undergraduates, This Repository Holds All The Resources Created And Used By Me - Code & Theory For One To Master Object Oriented Programming. Filled With Theory Slides, Number Of Programs, Concept-Clearing Projects And Beautifully Explained, Well Doc…

Ōryōki [応量器] is an experimental web browser with a thin interface.

A digital logic simulator

UI prototyping w/ Glade for lazy me

Comprehensive data proxy to knowledge about real world

Try to Neumorphism in Android (Just experimental!! 🧪)

Test and Prototype with Fake Online REST/OAuth 2 APIs Examples

A fool's scriptum on functional programming

See https://github.com/inconvergent/weir instead

Framer module to add inputs to your prototypes and easily turn your designs inputs into real inputs

🎹 MIDI music mayhem - flip, transpose, and arbitrarily remap pitches in MIDI files

A joint research effort for building highly optimized Reactive-Streams compliant operators.

Structor - React UI Builder [DEPRECATED]

Early draft for The Little JavaScript Book

🚀 zircle-ui is a frontend library to develop zoomable user interfaces.

An unfinished Go implementation of Conception.

The Felix Programming Language

Experimenting with running built Elm programs through Prepack

A (hopefully) temporary solution to get SpecFlow and .NET Core to play nice

TypeQL: the query language of TypeDB - a strongly-typed database

Clustered Forward/Deferred renderer with Physically Based Shading, Image Based Lighting and a whole lot of OpenGL.

Full-stack with nest js & angular 8

Simple style tag for React

A Framer module to create the base of an app with a flow component and a tab bar menu

🍥 A new take on polymorphism in C++

Windows Automated Lab with Vagrant

A base API project to bootstrap and prototype quickly.

An efficient graph solver for generating well-formed models

C++17 `std::variant` for C++11/14/17

Baresip WebRTC Demo

Fortran User Defined Exceptions Handler

λΠ Programming Language Theory

Experimental cryptocurrency (blockchain) written in python.

Functional Programming library for Java

Enables Xkey / Hash-Two / Surrogate Key caching with Craft 2.x. Very experimental.

Final Year Masters Project: modal logic solver tableaux

Λrrow - Functional companion to Kotlin's Standard Library