Git Product home page Git Product logo

onewingedshark's Projects

ada-probe icon ada-probe

Just a small fun project to experiment with Ada

ada_tutorial icon ada_tutorial

Program texts for a LISP interpreter writen as a Tutorial for Ada 2012.

adadoom3 icon adadoom3

Id Software's Id-tech-4-BFG in the Ada programming language.

adaprojectmanager icon adaprojectmanager

The definition of a language and file format to organize and aid building Ada programs.

alee icon alee

Alee is an implementation of the Forth 2012 standard in Ada 2012 and SPARK 2014.

asn.1 icon asn.1

This aims to be a SPARK-verified, DSA-compatible implementation of the ASN.1 specification

asn1scc icon asn1scc

ASN1SCC: An open source ASN.1 compiler for embedded systems

base_64 icon base_64

A package for handling Base64 strings.

batts icon batts

Bootstrap Ada/Truffle Translator System

byron icon byron

The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.

evil icon evil

Everyone’s Verified & Independent Library.

forth icon forth

A Forth interpreter written in Ada.

ikamo icon ikamo

Ada torrent client. (unfinished.)

mparser icon mparser

A MUMPS translator for converting X11.1-1995 to X11.1-1977.

pdfobject icon pdfobject

A JavaScript library for dynamically embedding PDFs in HTML documents. Modeled after SWFObject.

powershell-rfc icon powershell-rfc

RFC documents for community feedback on design changes and improvements to PowerShell

pratt_parse icon pratt_parse

Experimental testbed for building a Pratt-parser in Ada.

risi icon risi

Implementation of the Risi Interpreter

techempower icon techempower

Test Ada code for http://www.techempower.com/benchmarks benchmarks

wordperfect icon wordperfect

A package for creating, reading, altering and saving the WPD format.

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.