VideLibri liststhe books youhave borrowedfrom a publiclibrary andlets you searchthe librarycatalog fromyour localdevice. It hasall the usualfeatures of alibrary OPAC,i.e. viewing,renewing,searching andordering books.It also renewsall due booksautomaticallyand can doother thingsonly a locallyrunning app cando, likekeeping ahistory of allever borrowedbooks acrossmultiplelibraries.Developed since2006 it is theworld'sfirst libraryapp, and bysupporting 20different
Dyalect is adynamicprogramminglanguage for.NET Coreplatform. It islightweight,fast andmodern. Dyalect(or Dy forshort) iswritten in C#and has zerodependenciesexcept forstandard .NETCore libraries,which meansthat it canseamlessly runon Windows,MacOS andLinux. Moreoveryou can use thesame binarieson any of theseplatforms! Dydoesn'tutilize DLR nordoes it compileto IL (.NETassembly).Instead it runson the top ofits own highperformancevirtualmachine. Itcompiles fas
Seed7 is ageneral purposeprogramminglanguage. It isa higher levellanguagecompared toAda, C++, andJava. In Seed7,new statementsand operatorscan be declaredeasily.Functions withtype resultsand typeparameters aremore elegantthan a templateor genericsconcept. Objectorientation isused when itbringsadvantages andnot in placeswhen othersolutions aremore obvious.Although Seed7containsseveralconcepts ofotherprogramminglanguages, itis generallynot consideredas a direc
dMagnetic is aninterpreter forclassic textadventure gamesby MagneticScrolls, suchas "ThePawn" or"The GuildOfThieves". The full listof supportedgames is: -"ThePawn" -"The GuildOfThieves" -"Jinxter"-"Corruption"-"Fish!"-"Wonderland"-"Myth"
Gambas is anIDE and BASICinterpreterwithobject-orientedextensions.It'sdesigned toease buildinggraphicalapplicationsprograms usingGtk+ or Qt, andruns on mostUnix and Linuxsystems. Withits runtimestandaloneapplicationscan bepackaged, evencommand-lineprograms. TheGambas3JIT-compilinginterpreteroften executesfaster thanPerl or Pythonapps. It alsosupports SDL,OpenGL andOpenAL, MySQLor PostgreSQLdatabases, CGIwebserverinterfacing,
Picat is a ruleand logic basedprogramminglanguage. Itssyntax isderived frompatternmatching rules,but allowstraditionaldeclarative andimperativeprogramming andis suitable forgeneral-purposedevelopment. Itruns in a VM,with automaticstack/heapallocation andgarbagecollection.
luaprompt isboth aninteractive Luaprompt that canbe used insteadof the officialinterpreter, aswell as amodule thatprovides a Luacommand promptthat can beembedded in ahostapplication. As a standaloneinterpreter itprovides manyconveniencesthat aremissing fromthe officialLuainterpreter. As an embeddedprompt,it's meantforapplicationsthat use Lua asa configurationor interfacelanguage andcan thereforebenefit from aninteractiveprompt fordebugging orregular use.
Maude is ahigh-performancereflectivespecificationand programminglanguage for awide range ofapplications.Besidessupportingorder sortedequationalalgebra (in thestyle of OBJ3),it alsosupports a moregeneralrewriting logicwhich need notbe confluent orterminating. Inthis way, it isparticularlysuited formodelingconcurrentobject-orientedcomputation. Italso includesvariousenvironmentssuch as a modelchecker and aninteractivetheorem prover.
The Pythonmodule bondsupportstransparentremote/recursiveevaluationbetween Pythonand anotherinterpreterthroughautomatic callserialization. In poorerwords, a bondlets you callfunctions inother languagesas they werenormal Pythonfunctions. Italso allowsother languagesto call Pythonfunctions as ifthey werenative. Remoteoutput is alsotransparentlyredirectedlocally, andsince theevaluation isperformedthrough apersistentco-process, youcan actuallyspawninterpreters o
PseudoD is aninterpretedprogramminglanguage for Cand C++ with anentirelySpanish syntaxlosely based onAda and D. Itprovides alimited set ofoperators andkeywords. Theimplementationis just a fewkilobytes.
RPL/2 (ReversePolish Lisp/2)is a langagederived fromthe RPL made byHewlett-Packardfor its HP-28S.It has someextensions(preprocessor,compilatedlibraries, newfunctions,parallelcomputing), aTeX output, andcan drawgraphics.