Source code

Note : Some .zip files has been renamed to .zi because it seems that the server does not send the .zip files to some clients.

• Miscellaneous utilities
  • directory search in C :
    • Disk used
    • File search
    • String search
  • Comparison of files Parallel version VMS version
  • Pattern matching
  • Indexed files
  • streams : stream.h stream.c streams.h streams.c streamlc.h streamlc.c
  • purge source
  • convert record->field into field(record)
  • zipped files
  • Save disk sectors in a file
  • Convert LaTeX to HTML
  • Build HTML map of a web site in C in Java
  • Split C sources

• Communication utilities
  • Send file to com port
  • Convert ANSI file to Teletel
  • Capture
  • Input characters from COM port
  • Utilities for Minitel
  • Winweb32.exe : download web sites

• LPIA: a programming language for artificial intelligence
  • Simplified version
    • C source of the interpreter
    • Initialisation file
    • Core file
    • Content of core file in source format
    • LPIA source examples
  • Complete version
    • Symbolic expressions with automatic allocation, lists, symbols, strings, numbers, vectors
    • C source of the interpreter
    • Theorem proving in combinatory logic
  • Mini-Scheme version
    • Zipped files
    • C source of the interpreter
    • Turbo C version to be splitted with SPLIT.C and SPLIT.BAT and linked with DATA.C and MSLPIA.PRJ
    • initialisation files : init.scm iul.scm tools.scm
    • LPIA sources
      • utilities
      • examples
      • Symbolic combinatory logic
      • reflexivity
    • old version
  • New version
    • Sources : lpia.c definstr.h
    • Initialisation files : init.lpi exn.lpi
    • Documentation : English French

• SPL (Stack Programming Language)
  • Documentation
  • Sources : spl.c definstr.h init.spl

• LCS (Symbolic Combinatory logic), SLC (Symbolic Lambda Calculus), PL (Proof Logic)
  • Short presentation of the theory
  • Extensionality in combinatory logic
  • Miscellaneous logical formalisms
  • Different versions of combinatory logic in Haskell
  • Turbo Prolog source
  • Typed combinatory logic in Turbo Prolog
  • C program for theorem proving in combinatory logic - DOS version - Linux version - Documentation
  • Examples of demonstrations for lc53.c :
    • lctp9.lcs
    • lct15.lcs
    • lcs.lci
    • extensionality : input output demonstrations
    • lcei.lcs
    • yr.lcs
    • r.lcs
  • C programs for theorem proving in typed combinatory logic : lct103.zip lct18.c nlct7.c lctmlno.c lctm.zip lcei.zip refl.c
  • Examples for LCEI :
    • SKK=I input output
    • Reflection input output
  • Version simplifiée pour MS-DOS - pour Linux
  • Nouvelle version
  • 3lcei.c
  • LCEI in Java : expr.java lcei.java
  • LPIA programs for theorem proving in symbolic combinatory logic
  • SCL : Symbolic Combinatory Logic
  • SLC : Symbolic Lambda Calculus
  • Symbolic Lambda Calculus in LPIA Reflection
  • New version Reflection
  • New version with proof examples
  • Example of Symbolic Lambda Calculus theorem proving in Agda
  • Transfinite iteration of reflection principle in Symbolic Lambda Calculus in Agda
  • Transfinite iteration of reflection principle in Symbolic Lambda Calculus in Haskell - Examples of proofs : gdparent.slc prop.slc
  • Proof Logic versions - Les versions de la logique démonstrative
  • Proof Logic in Haskell
  • Proof Logic in C :
    • v3 : Initial C version
    • v4 : New version with generalized transitivity with reduction -
    • v5 : New version with new syntax for transitivity
    • v6 : Cleaned version with obsolete code removed
    • v7 : Certainty of proofs (fuzzy logic)
    • v8 : New operators, several proofs in one file, named proofs
    • v9
    • v10
    • v11 : Coroutines
      • Linux version : pl-v11.c schedule.h schedule.c
      • Windows 64 bits version : pl-v11_w64.c schedule_w64.h schedule_w64.c
    • v12
      • Linux version : pl-v12.c schedule.h schedule.c
      • Windows 64 bits version : pl-v12_w64.c schedule_w64.h schedule_w64.c
      • Colab notebook
  • Proof Logic proofs :
    • Combinatory logic : S K K = I, S (K x) (K y) = K (x y)
    • Grand parent
    • Propositional logic : p => p
    • Contradiction
  • Proof Logic proofs with new syntax (v >= 3) :
    • Combinatory logic : S K K = I, S (K x) (K y) = K (x y)
    • Grand parent
    • Propositional logic : p => p
    • Contradiction
  • Proof Logic v9 :
    • Extensionality in Combinatory Logic and Proof Logic
  • Proof Logic v10 :
    • Grand parent
    • Modus ponens
    • Propositional logic : p => p
    • Representation of proofs and evaluation of representations
    • Modal logic example
  • Proof Logic v11 :
    • Grand parent
  • Proof Logic v12 :
    • Factorial
    • Löb's theorem
  • Simplified version in Python - Colab notebook
  • Colab notebook with Proof Logic powered by a neural network - Python code

• Transfinite ordinals
  • A notation for transfinite ordinals
  • CAML source zipped, unzip with PKUNZIP.EXE.
  • Ordinals in Agda
  • Veblen hierarchy in Agda
  • Representation of ordinals by functions
  • Taranovsky fundamental sequences in Haskell (colab) - Python code

• Scheme
  • Mini Scheme interpreter
  • myscm.c zipped
  • Version with LPIA
  • Initialisation file
  • Scheme useful functions
  • Tools
  • Example of Scheme program

• Prolog
  • Zipped C source of a Prolog to Turbo C compiler with runtime using coroutines
  • Explanations
  • Prolog source example
  • include files : config.h coroutin.h expr.h param_ex.h prolog.h stream.h
  • sources :expr.c pltoc.c prolog.c schedule.c
  • Raspberry Pi version
  • Linux version (works also on Raspberry Pi)
  • Version for Windows 10 64 bits

• Coroutines in C
  • for Windows
  • for OSF1: scrosf1.s
  • for VMS
  • for Ultrix
  • Other sources : 6corouti.c coroutin.c cr.c scru.s
  • Portable coroutines (does not work on Windows 10)
  • Version for Windows 10 64 bits compiled with gcc
  • Version for Windows 10 64 bits compiled with Dev/C++ or gcc
  • Scheduler using coroutines for Linux (x86 and Raspberry Pi)
  • Scheduler using coroutines for Windows 64 bits (Dev/C++ or gcc) : schedule_w64.h schedule_w64.c test_schedule_w64.c

• WMForth : Forth compiler for Pocket PC with ARM processor running Windows Mobile

• CVM : Compiled Virtual Machine
  • Forth compiler for CVM

• MPL : Minimal Programming Language
  • Forth compiler for MPL

• Neural nets
  • An introduction to Artificial Intelligence, Neural Networks and Machine Learning - Python code
  • Neural net in C for DOS and Unix
  • Perceptron
  • Mémoires hétéro-associatives linéaires en J, d'après Hervé Abdi
  • Neural networks are universal function approximators (colab) - Python code of the notebook - J code - PyTorch version - Python code
  • Backpropagation in J - First version
  • Backpropagation in J - New version - Test with MNIST data - Labels data - Images data - Generate J code for labels data from MNIST data - Generate J code for images data from MNIST data
  • Backpropagation in J with gradient computed by numerical differentiation
  • Backpropagation in C
  • Example of generative AI with MNIST data - New version
  • Minimum of a function (Colab notebook) - Python code
  • Classify images of fashion with Tensorflow and Keras - Colab notebook
  • Handwritten digits recognition with TensorFlow : Simple way - Elaborate way
  • Handwritten digits recognition with PyTorch :
    • Python scripts :
      • Data loaded from MNIST dataset
      • Data loaded from files
    • Colab notebooks :
      • Data directly loaded from MNIST dataset
      • Data loaded from MNIST dataset and stored in tensors
      • Idem with custom loss function
  • Colab notebook comparing handwritten digits recognition with TensorFlow and PyTorch - Python code
  • Handwritten digits recognition with convolution network with PyTorch - Colab notebook
  • Hyperparameter optimization : Colab notebook - Python code
  • Hyperparameter optimization with train, validation and test datasets : Colab playbook - Python code
  • Replacing biases with constant input : Colab notebook - Python code
  • Neural network with quadratic layer : Colab notebook - Python code
  • Universal model - Colab notebook - Python code
  • Training a U-Net for object detection : Colab notebook - Python code
  • Object detection with PyTorch - Colab notebook
  • Object detection with YOLO-NAS : Colab notebook - Python code
  • Pose estimation with DEKR : Colab notebook - Python code
  • Sequence-to-sequence learning with neural network : Colab notebook - Python code
  • Recurrent neural network with PyTorch ( uses idlmam.py ) - Colab notebook
  • Text generation with DeciLM : Colab notebook - Python code
  • Word language model (text generation) : Colab notebook - Python code
  • NLP From Scratch: Translation with a Sequence to Sequence Network without Attention : Colab notebook - Python code - New version : Colab notebook
  • NLP From Scratch: Translation with a Sequence to Sequence Network and Attention : Colab notebook - Python code - New version: Colab notebook
  • Translation from German to English : Colab notebook - Python code
  • Translation from English to French (colab notebook) - Python code
  • Translation from French to English (colab notebook) - Python code
  • Translation between English and French with pretrained models (colab notebook) - Python code
  • Une Introduction au Modèle CamemBERT (colab notebook) - Python code
  • Word embedding : Colab notebook - Python code
  • Find the word which is the most correlated to both two words with embedding : Colab notebook - Python code
  • Sentiment analysis : Colab notebook - Python code
  • Code generation with Phi-2 model : Colab notebook - Python code
  • Code generation with DeciCoder : Colab notebook - Python code
  • Image classification with PyTorch - Colab notebook ( Source : https://learn.microsoft.com/fr-fr/windows/ai/windows-ml/tutorials/pytorch-data )
  • Style transfer with PyTorch - Colab notebook
  • Deep Dream with PyTorch - Colab notebook
  • Linear autoencoder : Python code - Colab notebook
  • Convolutional autoencoder : Python code - Colab notebook
  • Variational autoencoder : Python code - Colab notebook
  • Generate fake handwritten digits with PyTorch - Colab notebook ( Source : KiKaBeN GAN (Generative Adversarial Network): Simple Implementation with PyTorch )
  • Generate fake handwritten digits with PyTorch with a generator with 10 inputs for digit to generate : Colab notebook - Python code
  • Generate fake handwritten digits with PyTorch with 10 generators an 1 optimizer : Colab notebook - Python code
  • Generate fake handwritten digits with PyTorch with 10 generators and 10 optimizers : Colab notebook - Python code
  • Image generation with PyTorch (Stable Diffusion) - Colab notebook - Simplified version
  • Analysis of Stable Diffusion (Colab notebook) - Python code
  • Jabberwocky illustrated by Stable Diffusion - Python code - Simplified version - Python code
  • Generate several images from a description : Colab notebook - Python code
  • Generate a "hybrid" image from two descriptions - Colab notebook
  • Generate an image from another image and a description - Colab notebook
  • Stable Diffusion : image generation from text with negative prompt and hybridation (Colab notebook) - Python code - New version with image to image - Python code
  • Colab notebook : function generating images using Stable Diffusion, with negative prompts, hybridation and image to image - Python code
  • Image generation with Stable Diffusion pipeline : Colab notebook - Python code
  • Image generation with HuggingFace OpenDalle pipeline : Colab notebook - Python code
  • Image generation - description loop : Colab notebook - Python code
  • Music generation (colab notebook)
  • Colab notebook : Proof Logic - Python code
  • Tic-Tac-Toe game
  • OpenAI API : Colab notebook - Python code
  • Neural trading (Colab notebook) - Python code
  • Neural trading with RNN (Colab notebook) - Python code

• Turbo C/C++ for Windows utilities and examples
  • Program which generate C source from descriptions of control objects of a dialog box extracted from a .RC resource file.
  • Public key encryption
  • Installation program
  • Test MCI
  • WinHelp example
    • Files : thelp.prj thelp.def thelp.cpp thelp.hpj thelp.rtf
  • Sequential input-output

• Borland C++ Builder sources
  • Simple window displaying a text
  • Zipped small example sources
  • Example of DLL
  • Example of thread
  • Example of exception
  • Database example
  • Other database examples
  • Example of database dynamically created
  • Browsing a table with a SELECT query
  • Searching records
  • Example of component : graph of a function
  • Interferences and diffraction

• Winsock programming
  • C source for reading a page on the web
  • Example of server
  • Web server
  • Telnet

• Mathematics, numerical methods
  • Large numbers in Haskell : Hyper-E notation Bowers extended operator and exploding array Personal function
  • Calculatrice matricielle en JavaScript
  • Matrix utilitaries : matrix.h matrix.c
  • Valeurs propres et vecteurs propres d'une matrice :
    • Méthode de la déflation en C
    • Méthode de la déflation en J - Nouvelle version - Troisième version
    • Algorithme de Rutishauser
    • Décomposition en valeurs singulières et pseudo-inverse en J
  • Analyse en composantes principales en J
  • Analyse factorielle universelle en J avec application à l'analyse en composantes principales
  • Analyse canonique en J (utilise la 3ème version de la déflation)
  • Analyse factorielle universelle appliquée à l'analyse canonique (utilise la 3ème version de la déflation)
  • Inversion de matrice par la méthode du pivot
  • Résolution de systèmes d'équations linéaires par la méthode de Gauss Seidel
  • Calcul matriciel
  • Calcul de probabilités : Sur n expériences on obtient q résultats positifs et on veut estimer la probabilité p d'obtenir un résultat positif. Ce programme trace les courbes, en fonction de la probabilité p d'obtenir un résultat positifs, de la probabilité d'obtenir avec n expériences exactement q, q ou plus, q ou moins de résultats positifs.
  • Calcul de moyenne
  • Topographic calculations programs
  • Differential game :
    • Differential game in C for Linux
    • Differential game in C for Windows/Dev-C++ with SDL graphics - SDL library
    • Differential game in C for Windows/Dev-C++ with BGI graphics
    • Explanations
  • Kohonen self-organizing map : Linux version - Windows Dev-C++ version

• J programming language
  • Examples of J code - Output
  • Abstraction in Combinatory Logic, Lambda Calculus and J
  • Examples of abstraction in J - Output
  • Dual numbers for automatic differentiation - Output
  • Links

• Physics
  • Interference fringes : DOS version Linux version Libraries for Linux version : bibx.c graphics.c graphics.h
  • Diffraction
  • Interferences and diffraction
  • Other interferences and diffraction picture
  • Interferences with 4 holes
  • Interferences with 5 holes :
    • MS-DOS version
    • Windows 10 version for Dev-C++ with SDL : Instructions for build C source library header library source Dev-C++ project file Uses SDL - see https://anomaly.developpez.com/tutoriel/sdl/partie1/
    • Windows 10 version for Dev-C++ with BGI graphics
  • Interferences and diffractions for Borland C Builder for Windows

• Music
  • Wavelet analysis
  • FM synthetisor with creation of instruments
  • examples of instruments for creins : saturoid resident bizarre etrange exotic
  • Synthetisor with sound creation from harmonic synthesis : for DOS; for Windows Zipped

• Forum : tree structure for message exchange and organizing
  • Zipped C source
  • Source Turbo C / OWL for Windows

• RISOM : Réseau d'Interconnexion de Sites à Objectifs Multiples

• Wi-Fi messages for Android : Send text messages by Wi-Fi directly between Android devices

• Java
  • Examples in JavaScript
  • Small example in Java : area of a circle
  • Example of applet HTML page
  • Build HTML map of a site
  • Interpret in Java which permits to access to the features of Java from HTML files

• PHP
  • Création de sites web
  • Création de boutons en relief
  • Codeception : Testing framework for PHP

• Miscellaneous
  • NLP in Esperanto :
    • DOS version - Files : log.prj log.c util.c coroutin.h coroutin.c stream.h stream.c
    • Linux version (Raspberry Pi)
    • Version for Windows 10 64 bits
  • The game of Life; Example of input file
  • Uncrypting of simple codes
  • Conversion from capture file of Minitel forum 3615 NESS to HTML
  • Select sites from Yahoo new sites list
  • Data file for yahou.c
  • Dependencies analysis for Pascal sources
  • Analyse des cours de la bourse
  • Simulation boursière jour par jour minute par minute nouvelle version
  • Exemples de cours : c000414.zip rm0414.txt
  • Téléchargement et analyse des cours de la bourse avec LibreOffice
  • PyTrade : Python functions for trading
  • Python scripts for trading on Oanda
  • Chaos
  • Superzam, administrado de demandaro en Esperanto, en Turbo C : superzam.cpp superzam.ctl superzam.def superzam.dsk superzam.prj superzam.rc superzam.rws superzam.zip
  • Game "Planet" (modified version of "Colony") : Zipped files, Turbo C sources COLONY.H PLANET.C M.C V.C
  • Android application for Sporz game
  • Discord bot for Sporz game