GithubHelp home page GithubHelp logo

Archan Patkar's Projects

arith icon arith

(OLD) A Pure Arithmetic(➕➖✖️➗) Language with ⛔ No Side Effects

bhaskara icon bhaskara

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

chatapp icon chatapp

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

csgo icon csgo

A Concurrent Server in golang

dif icon dif

Dependancy Injection 💉 Framework

enigma icon enigma

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

godel icon godel

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

hml icon hml

A mini ML with Hindley-Milner type inference

kombis icon kombis

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

lambdasharp icon lambdasharp

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

logico icon logico

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

mure icon mure

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

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.