Open Source BSD Design Software

XLS is an open-source toolkit for building high-level hardware with a modern compiler stack that spans from a functional DSL to optimized IR and hardware generation. At the front end, DSLX lets you describe algorithms with strong typing and familiar control flow while remaining synthesis-friendly. The compiler lowers DSLX into a rich intermediate representation, applies aggressive optimization and scheduling passes, and can either JIT the design for software simulation or emit Verilog for FPGA/ASIC flows. A key idea is “software-style” iteration: fast, deterministic simulation via the JIT encourages test-driven development and property checking before committing to RTL. XLS also provides tooling for pipelining, state insertion, and formal equivalence checks between different stages, giving developers confidence as designs evolve. The result is a productive path from high-level specification to real hardware, without giving up control over latency, throughput, and area trade-offs.

A C++ library of designs, containing flexible implementations of common design patterns and idioms.

GitHub-Dark is a userstyle that transforms GitHub’s interface into a coherent dark theme, covering repositories, issues, pull requests, gists, and profile pages. Distributed as a CSS stylesheet intended for the Stylus browser extension, it applies a comprehensive palette, rebalances contrast, and refines syntax colors for code views to ensure readability in low-light settings. The project goes beyond simple inversion by thoughtfully adjusting backgrounds, borders, badges, and diff highlights so the UI feels native rather than “flipped.” It includes targeted fixes for edge cases across GitHub’s many subpages, aiming for consistency while preserving the information hierarchy of the original design. Users can apply the theme selectively, override variables, or combine it with other userstyles to fit personal preference. Even with GitHub’s own theme options, GitHub-Dark remains a carefully tuned alternative for people who want a specific aesthetic or more granular control.

A fast and reliable tool, written in Java 8, for generating professional UML sequence diagrams from text. Supports actors, con-/destructors, threads, broadcasts, notes, and fragments. Can serve as a Javadoc taglet. Exports PDF, (E)PS, SVG, PNG, ... The source code is hosted at http://github.com/sdedit/sdedit

A graphical tool for designing finite state machines and exporting them to Hardware Description Languages, such as VHDL, AHDL, Verilog, or Ragel/SMC files for C, C++, Objective-C, Java, Python, PHP, Perl, Lua code generation.

This project provides a generic CDS (or ARINC 661 Server), coded in the Java language in order to facilitate the understanding of the ARINC 661 standard, prototype ARINC 661 concepts and architectures, etc… This project is managed by Dassault Aviation.

Window Object is a Library for windowed programming in Free Pascal Compiler under Win32 and GTK. The library include a resource Designer (IDE).

Material UI is an open-source React component library that implements Google's Material Design. It's comprehensive and can be used in production out of the box. A meticulous implementation of Material Design; every Material UI component meets the highest standards of form and function. Start quickly with Material Design or use the advanced theming feature to easily tailor the components to your needs. CSS utilities allow you to move faster and make for a smooth developer experience when styling any component. Reach out for the Figma Design Kit and the Sync plugin to bridge the gap between development and design when using Material UI.

pywal is a highly popular tool that automatically generates a color scheme from any image (usually your wallpaper) and then applies it across your Linux or Unix desktop. It analyzes the input image, extracts a palette, and builds theme files for terminals, window managers, and various desktop applications so everything looks coordinated. The magic is that it’s not just a one-off script: it supports many terminals, shells, and launchers, and can export the colors in multiple formats (JSON, Xresources, CSS) for other programs to consume. It also includes a set of predefined themes if you don’t want to generate from an image. Many users integrate pywal into their login or wallpaper-change workflows so the desktop “breathes” with whatever image they set. It’s lightweight, fast, and fits perfectly into the r/unixporn workflow of building cohesive, themed desktops.

When computer power increases, programmers generally add more "features", thus making any performance gains in new hardware negligible. This project is an attempt to develop a library above libc that breaks out of this terrible loop.

theme-academic-cv is a Hugo static site theme specialized for building academic curriculum vitae (CV) websites, personal academic homepages, and scholarly portfolios. The theme is tailored to present publication lists, education, projects, awards, and contact information in a clean, professional layout suitable for faculty, researchers, and scientists. It includes shortcodes and content archetypes for common academic components (e.g. publications, talks, teaching, service), as well as styling, typography, and responsive layouts to make the CV visually appealing and readable across devices. The theme supports light/dark modes, custom color accents, and configuration options so users can modify the look without extensive CSS coding. It also often includes integration for BibTeX or publication metadata (e.g. rendering publication lists from bibliographic files) and support for linking PDFs, datasets, or supplemental materials.

Alabaster is a light Visual Studio Code theme that intentionally minimizes syntax highlighting to keep code calm and readable. Instead of coloring every token category, it highlights just a small set of classes like strings, statically known constants, comments, and global definitions. Standard language keywords are deliberately left uncolored under the philosophy that they are obvious and draw unnecessary attention. This restraint produces a clean, low-noise editor surface that emphasizes what changes most during editing: names, literals, and commentary. The repository documents the rationale in detail and has inspired ports to other editors, showing its appeal to developers who prefer quiet aesthetics. Community discussions in the issue tracker revolve around targeted tweaks rather than expanding the palette, consistent with the theme’s minimalist vision.

System Design Primer is a curated, open source collection of resources that helps engineers learn how to design large-scale systems. The project is structured as a comprehensive guide covering core system design concepts, trade-offs, and patterns necessary for building scalable, reliable, and maintainable systems. It offers both theoretical foundations—such as scalability principles, the CAP theorem, and consistency models—and practical exercises, including real-world system design interview questions with sample solutions, diagrams, and code. The repository also contains study guides for short, medium, and long interview timelines, allowing learners to focus on both breadth and depth depending on their preparation needs. In addition, it includes flashcard decks designed to reinforce learning through spaced repetition, making it easier to retain key system design knowledge.

Tomorrow Theme is a family of carefully balanced color schemes designed to provide consistent, readable syntax highlighting across editors, terminals, and code-hosting sites. The palette comes in multiple variants—Tomorrow (light) and several “Tomorrow Night” options like Bright, Blue, and Eighties—so developers can choose a tone that matches their environment without losing legibility. Each scheme defines a small, harmonious set of base and accent colors that map predictably to tokens such as keywords, strings, numbers, and comments, reducing visual noise while preserving structure. The project ships ports for a wide range of tools (from Vim and Emacs to Sublime Text, iTerm, and more) and documents the palette so others can create faithful ports. Its emphasis on restraint and consistency makes it a popular baseline for teams that want code to look familiar across machines and applications.

pgDesigner is a Datamodel designer for PostgreSQL written in Gambas language.

The Object-Role Modeling (ORM) standard version 2, associated schemas and generation tools, and a reference implementation in the form of the Natural Object-Role Modeling Architect for Visual Studio (NORMA) product.

Yunus is a simple "visual" script language. Yunus is obsolete (left in 2004). However this site exhibits many projects; you will find my other "PHP, VS.NET, Flash, Delphi" projects. eOgr is my second complete application after Yunus.

This project develops a graphical tool to support i* modelling and analysis of the stakeholder requirements. The main development site is at https://se.cs.toronto.edu/trac/ome

kodeWeave is a realtime coding playground for HTML, CSS and Javascript. Similar to JSFiddle and JSBin, but kodeWeave was made to work offline but also as a prototyping application to build applications for desktop operating systems while on mobile devices. (PhoneGap Build is recommended for mobile devices) kodeWeave similar to jsfiddle, jsbin, dabblet, liveweave, codepen, cssdeck, cssdesk, tinkerbin, d3 playground, plunker and pastebin, but allows you to export your web app as a desktop and/or chrome application.

Structorizer is a little tool which you can use to create Nassi-Schneiderman Diagrams (NSD). Stuctorizer is written in Java and free for any use. The code has been moved to Github: https://github.com/fesch/Structorizer.Desktop

Extracts dependencies and OO metrics from Java class files produced by most Java compilers. Computes API differences between versions. No source needed. Includes both Swing and command-line interfaces, with XSL stylesheets for formatting output.

All-in-one program for creating 2D scrolling games. Compile your games into stand-alone .NET executables or customizable C# source code. The IDE and framework are build on OpenTK, which wraps OpenGL, so generated games can be cross-platform.

A real time inference engine for temporal logical specifications, which is able to acquire, process and generate any binary or real signal through POSIX IPC, files or UNIX sockets. Specifications of signals and dynamic systems are represented as special graphs and executed in real time, with a predictable sampling time of few milliseconds. Real time signal processing, dynamic system control, state machine modeling and logical property verification are some fields of application of this software. The accepted language provides timed logic and mathematical operators, conditional operators, interval operators, bounded quantifiers and parametrization of signals.

Qt output parser for tar, zip, unzip, unrar with compressing/extracting progress indicator. Support platforms: windows, linux, EZX. Project on qt-apps: http://qt-apps.org/content/show.php/qop?content=132430 Latest update: https://github.com/wang-bin/

C4J is a simple, powerful and non-intrusive tool that makes it easy to add contract verification of instances and methods of any Java class or interface, with full inheritance support. C4J brings Design By Contract to Java.