Search Results for "stable-diffusion"

A dynamically tiling X11 window manager that is written and configured in Haskell. In a normal WM, you spend half your time aligning and searching for windows. XMonad makes work easier, by automating this. xmonad automates the common task of arranging windows, so you can concentrate on getting stuff done. Out of the box, no window decorations, no status bar, no icon dock. just clean lines and efficiency. Haskell and smart programming practices guarantee a crash-free experience. It sports a...

MediaWiki To LaTeX converts MediaWiki markup to LaTeX and generates a PDF. So it provides an export from MediaWiki to LaTeX. It works with any project running MediaWiki, especially Wikipedia and Wikibooks.

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.

Assorted projects. General-purpose libraries for Python, C++, Scala, bash, and others. Meta-programming tools. System utilities. UI components. Web APIs. Configuration files. Benchmarks. Programming competition entries. And much more.

ElixirFM is a high-level implementation of Functional Arabic Morphology. The core of ElixirFM is written in Haskell, while interfaces in Python and Perl support lexicon editing and other interactions. http://github.com/otakar-smrz/elixir-fm

Encode Arabic provides tools for encoding and decoding Arabic in Haskell, Python, Perl, or LaTeX. Interprets the ArabTeX notation to generate original orthography or phonetic transcription. Supports Buckwalter and other romanizations. Converts legacy byte encodings into Unicode. http://github.com/otakar-smrz/encode-arabic

This SourceForge project page is obsolete. Please visit http://www.musicpd.org/

bignum is a Miranda library and BigFloat a Haskell type for dealing with infinite-precision values with all arithmetic and scientific functions. Unlike most long-precision calculation systems, it guarantees that every digit it returns is correct.

Dummy program that takes a string of characters (e.g. str == "asdeqwdrfesatgha") and natural number n (1 <= n <= length str) and finds all words made from characters from str with length n (checks in a dictionary if the current string with length n is a word). Made it to help a friend cheat in a Android app called "Scrabble" or whatever. Written in Haskell.

PortFusion is a minimalistic, cross-platform, transport-layer distributed reverse / forward proxy for TCP written in Haskell + LLVM and released under GPLv3. A single package that makes the most of each platform by tapping into their unique capabilities, combining this power with an intuitive interface, beautiful design and Haskell's excellent support for unprecedented levels of concurrency and parallelism. It strives for the smallest source code size (< 500 lines) while delivering...

Web interface for linux firewall written in haskell. It covers a little subset of options and targets. It works as standalone https daemon, and allows to authenticate with system accounts using pam. Iptadmin can't ruin iptables configuration files by design. It doesn't let user to block network access to the interface.

A Haskell implementation of the Three Man morris game together with an AI for playing against the Computer. Command line based, needs Haskell interpreter.

The programme for generation of the Mandelbrot set (the set defined by mathematical equation z=z^2+c; z,c are complex numbers) employing 3D visualisation in addition to the popular 2D spectral-colour one.

Hpylos is an AI of Pylos, a board strategy game for two players. Written in Haskell, uses OpenGL and provides with couple algorithms. User interface allows playing a game against computer, observing two algorithms playing or two humans play.

Foo (abbreviation from football) is a playing machine of Paper Soccer, a pencil and paper game for two players, described in WIKIPEDIA. Written in Haskell, contains also simply interface using HOpenGL library. Provides bunch of playing algorithms.

Vinte e Um é um jogo de cartas onde o jogador deve chegar a uma pontuação menor ou igual a 21 no valor das cartas para ganhar. O usuário joga contra o computador e entra na disputa num ranking contra outros jogadores do mesmo PC.

An interpreter for the Argh! esoteric programming language in wxHaskell. The program allows one to load, edit, save, validate and run Argh! programs. It currently supports all commands except 'e' and 'E'. Documented using Haddock.

Haskell API search engine. Allows searching standard libraries by type or name.

A tool that auto-generates Haskell FFI declarations by parsing a C header file.

The Inverse Ocean Model (IOM) is a software system for developing customized data-assimilation systems for numerical ocean models. It has also been used with general purpose hydrodynamic and geodynamic models.

xmonad is a tiling window manager for X11. Windows are arranged automatically to tile the screen without gaps or overlap, maximising screen use. Window manager features are accessible from the keyboard: a mouse is optional. The official site is http://xm

The Glasgow Haskell Compiler is a robust, fully-featured, optimising compiler for the Haskell 98 programming language. Please note, we are no longer using the SourceForge bug tracker. Please go to http://cvs.haskell.org/trac/ghc instead.