Search Results for "up to"

...We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct. In Idris, types are first-class constructs in the language. This means types can be passed as arguments to functions, and returned from functions just like any other value, such as numbers, strings, or lists. This is a small but powerful idea, enabling relationships to be expressed between values; for example, that two lists have the same length. ...

Here you will find a collection of BCPL tools I've gathered from the net, cleaned up and ported to the Atari ST. This involved fixing bugs, reducing stack usage and making the code compile in 16bit via Pure C (Turbo C for the Atari ST). Source credits include: Martin Richards - BCPL Kit http://www.cl.cam.ac.uk/~mr10/ Robert Nordier (Translated interp to C) http://www.nordier.com/ Serge Vakulenko (Translated cg/syn/trn to C) https://github.com/sergev/b I'm sure there are other names, but those are the ones on the source files. ...

...If you wish to learn deemon, download any package and take a look at 'lib/tut' Note: If you've already used v100, you'll be happy to see how much deemon has grown in the five months that have passed. Keep up to date with deemon at: https://github.com/GrieferAtWork/deemon

JWasm is a Masm-compatible assembler. It supports 16-, 32- and 64-bit code, instructions up to AVX and various output formats. It's written in C.

...Only works with a kernel running bash. Recently I looked at the download stats and someone from the Philippines downloaded this onto a Windows machine, so apparently I need to clear this up: If you can't tell already, THIS PROGRAM IS FOR DEBIAN LINUX DISTRIBUTIONS ONLY! I REPEAT: THIS PROGRAM IS FOR DEBIAN LINUX DISTRIBUTIONS ONLY! Note: This was compiled on Ubuntu 12.10, it may not work on just a classic Debian system.

several vaguely related projects worked on by me: a 3d engine with a javascript-like scripting language (pdsys); an older scheme dialect (vmsys); ... (2009-04-28: I have been gone for years, may try to put up some newer stuff...).

...Wildcat, GnuCOBOL, Micro Focus, Elastic, RainCode, IBM, Tiny COBOL, all the others, all in. COBOL-UP

Tsunami is an open-source high performance computing language. With it you can write streaming data-parallel algorithms that utilize GPGPUs for orders-of-magnitude speed-up with the ease of writing sequential algorithms.

ferite is a modern, lighweight, portable, threadsafe scripting engine with a language that is very easy to pick up and leverage for any task. It\'s been designed for rapid deployment in other programs as well as stand alone use.

A C and C++ Library + a compiler to create Adobe Flash SWF movies up to version 9 (v1.8.1). Supports nearly all the tags, includes an ActionScript compiler. Detailed docs and other tools: convert fonts to Flash, decompile Flash, jpg2swf. LASTEST IS 1.8.4