Giter VIP home page Giter VIP logo

Gaga's Projects

algoo icon algoo

Dedicated repo for implementing Data Structures and Algorithms.

algorithmw icon algorithmw

Hindley-Milner type inference "Algorithm W" in Haskell

arg.fs icon arg.fs

A simple Command Line argument parser in F#

btc icon btc

A programming language with a bidirectional type checker

csc221 icon csc221

A school maintenance management system with Windows Forms and MS SQL Server.

delim icon delim

A programming language that gives you control.

docs icon docs

This repository contains .NET Documentation.

fpop icon fpop

Family Polymorphism for a proof assistant, an artifact. Paper : https://dl.acm.org/doi/10.1145/3591286

fsharp icon fsharp

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

hm icon hm

A Little language for playing with Hindley-Milner type inference

libmacs icon libmacs

A simple linear algebra library. It also has other mathematical functions such as Calculus, Surds, Complex Numbers, and Partial Fractions.

lsp-mode icon lsp-mode

Emacs client/library for the Language Server Protocol

mehir-error-messages icon mehir-error-messages

Just a repo to learn how to generate error messages from the OCaml LR parser generator menhir

mina icon mina

Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

mini icon mini

A mini ML like language to be used to in a simple calculator

numerical icon numerical

Numerical Analysis using a simple algebraic language

ocaml icon ocaml

The core OCaml system: compilers, runtime system, base libraries

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.