Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. LCI - A lambda calculus interpeter
  5. Download

LCI - A lambda calculus interpeter 0.6

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes

Sur LCI - A lambda calculus interpeter

LCI est l’interprète du calcul lambda. Il prend en charge de nombreuses fonctionnalités avancées telles que les entiers, la récurrence, les opérateurs définis par l’utilisateur et les stratégies d’évaluation multiples.

Programmes connexes

  • Universal SQL Gateway Gratuit

    L’Universal SQL Gateway tunnels SQL demande pare-feu sur HTTP en implémentant un pilote spécial JDBC. Il fournit des acces de base de données sécurisées en agissant comme un composant de pare-feu communément appelé Passerelle

  • Dev65 Gratuit

    Dev65 est une suite macro assembleur, linker et bibliothécaire pour la famille de microprocesseurs 6501, 6502, 65C02, 65816 et 65832 codés en Java pour la portabilité. Le code est basé sur un cadre qui pourrait prendre en cha

  • GameDirector Gratuit

    GameDirector Ver 0.1 Devlopment Build 10 18-Novembre-10. GameDirector est un nouveau système de développement de jeux basé sur le moteur Ogre et est en développement lourd.

  • Flash and Boom Essai gratuit

    Application de mesure de distance de foudre.Un grondement de tonnerre suit après quelques secondes un éclair.Flash et Boom Application utilisent cette fois pour déterminer la distance entre vous et le point d’impact !

  • Network Transparent Widgets (ntw) Gratuit

    NTW est un protocole client/serveur multiplateforme et une boîte à outils widget qui permet un fonctionnement efficace à distance, même sur les réseaux lents. Son objectif est d’être en mesure de servir des centaines de clie

  • subtex Gratuit

    subtex est une version XML de LaTeX, le système de dactylographie populaire. Il contient un sous-ensemble des commandes en latex (d’où SUBtex) mais contient également de nombreuses améliorations, y compris un fabuleux système

  • LogJana Gratuit

    Le programme logjana est un programme de journal pour le serveur proxy Jana V2. Il divise le fichier de journal principal "proxy.log" dans les fichiers expirés. Le tableau de bord principal "proxy.log" ne

  • elisa Gratuit

    Elisa est une bibliothèque C++ ouverte pour la programmation de contraintes et les techniques de résolution de contraintes. Les algorithmes basés sur des intervalles pour résoudre les contraintes continues exigent que Gaol (

  • PersianDate Gratuit

    une bibliothèque c++ pour convertir la date entre le calendrier persan et grégorien et quelques classes d’aide à la date d’incrémentation ...

  • Ada 2005 Math Extensions Gratuit

    La norme Ada 2005 définit les opérations matricielles et vectorielles réelles et complexes. Toutes les opérations possibles ne sont pas prises en charge, de sorte que par exemple seules les matrices symétriques ou ermites peu