Software Engineering lecture materials (archive, migrated to Codeberg)
☆20May 16, 2023Updated 3 years ago
Alternatives and similar repositories for software-engineering
Users that are interested in software-engineering are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- VRT Network Equipment clipart exported from LibreOffice to SVG and Dia sheets☆17Apr 23, 2020Updated 6 years ago
- Read keyboard events in the terminal from Common Lisp☆15May 10, 2017Updated 9 years ago
- A customizer for common lisp dynamic variables☆12Nov 2, 2021Updated 5 years ago
- Emacs Helm interface for mounting removable disks in Linux☆11Jan 21, 2020Updated 6 years ago
- Using readline in Common Lisp.☆12Nov 8, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A reference card for GNU APL☆11Feb 19, 2025Updated last year
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- NYU Ada/Ed: the first Ada compiler to be validated on the IBM PC.☆14Jul 10, 2012Updated 14 years ago
- CECS 342 Lab 4: Logic Languages with SWI-Prolog☆13Nov 19, 2021Updated 4 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- Moved: https://codeberg.org/koutheir/selinux☆24Mar 27, 2024Updated 2 years ago
- A simple BNF parser.☆11Nov 15, 2023Updated 2 years ago
- Simple library for generating binary WebAssembly files☆13Jun 6, 2021Updated 5 years ago
- ATS programing on mbed platform☆14Oct 10, 2015Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- Locate local installations of the Wolfram Language.☆18Jun 15, 2026Updated 4 months ago
- List BTRFS subvolume and snapshot sizes with paths like df☆11Mar 17, 2024Updated 2 years ago
- A utility library intended at providing reader macros for lambdas, arrays, accessors, hash-tables and hash-sets.☆14Feb 12, 2023Updated 3 years ago
- This repository is primarily for testing ATS2 on various platforms☆12Aug 3, 2020Updated 6 years ago
- ☆17Jul 12, 2024Updated 2 years ago
- This installation helper makes it even easier to install a copy of the CLHS locally. (ql:quickload "clhs").☆13May 11, 2025Updated last year
- Utilities for testing code equivalence☆11Jun 25, 2024Updated 2 years ago
- Wolfram Language XML syntax extension (a superset of WL and XML) for building web-apps☆17May 18, 2026Updated 5 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- implementation of cdr-8☆17Sep 7, 2026Updated last month
- Hooks extension point mechanism (as known, e.g., from GNU Emacs)☆18Oct 18, 2018Updated 8 years ago
- Shell shortcuts for systemd with aliases☆14Jan 1, 2018Updated 8 years ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆116Jul 11, 2026Updated 3 months ago
- My mirror of CEDET bzr repository (http://cedet.sf.net). Mostly used for experimental stuff, that will be merged into bzr version later☆15Jan 22, 2015Updated 11 years ago
- A model checker for safe Petri nets based on partial-order semantics☆13Nov 30, 2020Updated 5 years ago
- Paul's Parser for Tom's Own Minimal Language☆20Sep 7, 2026Updated last month
- The 32-bit version of Murmurhash3 for Common Lisp.☆17Jun 4, 2021Updated 5 years ago
- Reference sheet for the Coq language.☆17Sep 16, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Stat a file's size in Common Lisp.☆17Apr 26, 2025Updated last year
- Vim plugin for ATS☆15Jul 7, 2021Updated 5 years ago
- Support files for participating in a Fomu workshop☆170Mar 17, 2024Updated 2 years ago
- Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)☆17Aug 6, 2018Updated 8 years ago
- linq in lisp; data set manipulating done easy☆21Sep 7, 2026Updated last month
- Traits, generics, and modern-day OOP proposal for Fortran☆18Oct 11, 2026Updated 3 weeks ago
- The BASIC-BINARY-IPC system provides an interface for performing inter process communication using IPv4 or local streams. The interface f…☆21Nov 7, 2021Updated 4 years ago