archanpatkar/RoboLang

Stars
4
Rank 3,293,943 (Top 66 %)
Language
Python
License
MIT License
Created over 6 years ago
Updated over 4 years ago

archanpatkar/RoboLang

archanpatkar

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An educational programming language for algorithmic art

ChurchEncodings

λ Lambda Calculus Encodings

Enigma

An Enigma Machine ⚙️⚙️⚙️ written in Python 🐍

Kmitter

Event Emitters ♨️ in Kotlin

pyEmitter

An Event 🎟️ Emitter ♨️ implementation in Python inspired by Node.js

Tachyon

An Instantiable Server ✨Framework in Kotlin

Godel

A Library for working with Gödel's finite and infinite valued G(k) and G(∞) Logics

styla

Simply Typed Lambda Calculus

Logico

An Expression Oriented Language with non-strict semantics based on Propositional Calculus and compatible with WFF

Samvid

संविद् A Scheme Interpreter

pyServer

Concurrent Server written in Python

CSGO

A Concurrent Server in golang

DesignPattern-Client

Design Pattern Oriented Client based on Concurrent Server/Client 2.0

LambdaSharp

A Language based on Lambda (λ) Calculus which transpiles to F#

tvl

A 316B implementation of Three Valued Logic in Javascript

ChatApp

A Chat Application Written in Express/Socket.io/Node.js

DesignPattern-Server

Design Pattern Oriented Server based on Concurrent Server/Client 2.0

patLog

A Loyal Logger Framework written in Python

DIF

Dependancy Injection 💉 Framework

blockchain.js

A simple implementation of Blockchain in Javascript

patML.js

A Set of Machine Learning Algorithms

pyClient

CLI Client for Concurrent Server ( pyServer )

FlaskService

A Flask boiler-plate microservice on Docker 🐳

Tensorflow-Experiments

Tensorflow 🌊 Experiments

Kombis

A DSL Compiler for Combinatory Logic based on the universal formal system SKI Combinator Calculus

Quanta

A Collection of Quantum ⚛️ Programs 📜

ExpressService

An Express.js boiler-plate microservice on Docker 🐳

pyStats

A Statistics Library written in Python

Physics-Calculator

Physics 🏎️ Calculator ➕➖

PoCFactory

Proof of Concept Factory

mure

A rule engine for MIU System(MU puzzle) from GEB

ulc

Untyped Lambda Calculus

PLT

Programming Language experiments

base64

base64 encoder/decoder

Saral

A small 1kB experimental interpreter for JSON based LISP-flavoured functional programming language

systemF

System F polymorphic/second-order lambda calculus

vMachina

An Extensible Stack Virtual Machine written in Javascript

hml

A mini ML with Hindley-Milner type inference

omega

System F Omega Lambda Calculus

Small

An Esoteric Programming Language

Brain8888

An Interpreter for Brainf*#k

W

A WASM native language

Bhaskara

भास्कर - An experimental Object-Functional programming language