An implementation of a light-weight stack-less jit compiler for x86 (32/64), ARM (32 [v5,v7,thumb2]/64), PowerPC (32/64), MIPS (32/64) and SPARC (32) architectures. It generates machine code from a platform independent (simplified) assembly language. If you are like the rest of our user community, your IT team is busy. With pressure to deliver on-time projects, you […]

Read More


x3270 is a suite of 3270 terminal emulation tools. x3270 is an interactive X11 client, c3270 is curses-based interactive client, and s3270 and tcl3270 are scripting tools for writing screen-scraping applications. wc3270 is the Windows console client and ws3270 is the Windows screen-scraping tool. Includes IND$FILE support, DBCS, and more. Today’s small-to-medium-sized (SMB) businesses and […]

Read More


The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save. Enter […]

Read More


Ayam is a free 3D modelling environment for the RenderMan interface. The SourceForge Speed Test measures Latency/Ping, Jitter, Download Speed, Upload Speed, Buffer Bloat, and Packet Loss. Upon completion, you can view detailed reports about your connection. This HTML5 speed test does not require Flash or Java, and works on all devices including tablets and […]

Read More


UniCC (UNIversal Compiler Compiler) is a LALR(1) parser generator. It compiles an augmented grammar definition into a program source code that parses that grammar. Parsing is the process of transferring input matching a particular grammar, like e.g. a source code written in a programming language, into a well-formed data structure. Because UniCC is intended to […]

Read More


Why Is libxc needed? There doesn’t exist a library for ANSI C99 for common data containers, such as vectors, trees, etc. There also also doesn’t exist a library for common functionality, such as error reporting/logging, string functions, configuration management (reading config files), etc… The programmer working in C doesn’t have anything analogous to the Boost […]

Read More


Refurbished Scintilla.orgs/SciTE with some additional patches. — Features — – Review difference and patch files – Create makefiles (gnu make / cmake) – Do system scripting (bash, applescript, cmd, powershell, perl, j/vbscript, awk) – Examine data files (sql, regedit, mib, xml, yaml, json, vcard …) – Edit config files (apache, dockerfile,ini ..) – Edit html […]

Read More


The BLT Toolkit is an extension to Tcl and Tk. It adds new commands and widgets to the Tcl interpreter. Included widgets are 2D graph, barchart, stripchart, tab notebook, and tree viewer. You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save. Enter what you need (minutes, […]

Read More


Welcome to the QuickPlay homepage. QuickPlay – MAME Edition is a powerful Windows universal emulator frontend, which has support for countless emulators, systems, game sets and other emulation frontend projects. Its main focus is on being user friendly, simple to set up, yet thorough: its a combined searchable library for all of your retro-gaming…It has […]

Read More


ZEsarUX – ZX Second-Emulator And Released for UniX It’s a ZX Machines Emulator for Unix, including all the Sinclair computers: -MK14 -ZX80 -ZX81 -ZX Spectrum -QL -Z88 And also: -Timex TS 2068 -Sam Coupe -Pentagon -Chloe 140 SE, 280 SE -Chrome -Prism -ZX-Uno -ZX-Evolution TS-Conf -TBBlue/ZX Spectrum Next -Jupiter Ace -Amstrad CPC 464 ZEsarUX source […]

Read More